1 2 3 4 5 6
Changes applied to the opendetex-2.8.7 tree as obtained from: https://github.com/pkubowicz/opendetex/releases Renamed: detex.1l -> detex.man