Re: Filters for HTML?

Bill Janssen ([email protected])
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