Re: HTML instead of GNU Info?
On Sat, Jun 19, 1999 at 11:47:18PM -0700, Aaron Van Couwenberghe wrote:
> And magicfilter can figure out how to do dvi->ps and print.
You can do it by hand, too:
dvips -o file.ps file.dvi
dvips -Pprinter file.dvi
> Generally, in my experience, tex is possibly one of the most malleable
> markups around.
The format of TeX is one of the most irritating at the core. Basic LaTeX is
much more useful.
> So IMO Debian should have no standard doc format.
But have one. Policy dictates HTML.