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