Tex2ex: Strip .tex input file to give a .ex output file
Usage: tex2ex filename
Julian Gilbey's shell script is based on a sed script by Brendan Macmillan
. The c source is based on the
shell script.
tex2ex.exe is an executable for win32 compiled with mingw32/gcc
Christian Mondrup