edtx2dtx(1) User Manual edtx2dtx(1)

edtx2dtx - Convert .edtx into .dtx

edtx2dtx filename.edtx > filename.dtx

This utility wraps code chunks by a (commented and properly indented)

pair. A code chunk is any sequence of lines not introduced by a single (possibly indented) comment character (%); i.e. both non-commented lines and lines introduced by multiple comment characters count as code, and documentation lines may be indented. The part(s) of the file which should undergo conversion should be marked by a

pair (unlike in a .dtx, these lines need not immediately precede and follow the code, respectively). This convention allows for the driver to remain as is, and also makes it easy to paste a .dtx file into an .edtx, as using this utility on a .dtx does not change the file.

The utility furthermore replaces the first occurrence of “.edtx”, followed by an optional parenthesized note, with “.dtx”, plus the note on how the file was generated.

Show help and exit.
Show the version number and exit.

easydoctex.el

October 10, 2023 edtx2dtx 0.1.0