(TXT) doc2tex.l
 (TXT) makeprog.web
 (TXT) progdoc.doc
 (TXT) progdoc.tex
 (TXT) progltx.doc
 (TXT) progltx.sty
 (TXT) tex2doc.l