Subject: Re: Another Lost One (converting  TeX to readable ascii)
To: djgpp AT sun DOT soe DOT clarkson DOT edu (DJ's GPP mailing list)
Date: Mon, 12 Apr 93 12:18:47 EDT
From: Stephen Turnbull <turnbull AT ecolan DOT sbs DOT ohio-state DOT edu>

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