[misc.wanted] dvi2ascii

waldorf@venice.SEDD.TRW.COM (jerry waldorf) (03/27/90)

	I am looking for a tool that will convert the Tex DVI format
to a regular ascii text.  No graphics or tables just the basic text.
Any pointers would be greatly appreciated.

	Thanks.