Mail Archives: djgpp/1993/04/12/12:26:11
It's not entirely clear to me what you can get out of a .texinfo file
that's been Texinfo'd to .tex format. However, there are a number of
deTeX programs around that will clean out all of the TeX macros, and
some of them know about common pure text macros like \TeX -> TeX.
Try archie for "detex." I have no idea where to find such things,
since I write everything (including personal letters, since dvips
makes it convenient to include postscript doodles :-) in TeX, and
can't imagine life without it.
--
Stephen Turnbull
The Ohio State University, Department of Economics
410 Arps Hall, 1945 N. High St., Columbus, OH 43210-1172 USA
Phone: (614) 292-0654 Fax: ...-3906 Email: turnbull DOT 1 AT osu DOT edu
- Raw text -