Re: Filters for HTML?

Bill Janssen (janssen@parc.xerox.com)
Wed, 31 Mar 1993 17:41:02 PST

Thanks, I'll do that. I think I'd generate texinfo instead of tex...
Sort of circular, isn't it?

Bill