Re: HTML instead of GNU Info?

[Antti-Juhani Kaijanaho <gaia@iki.fi>]

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

or

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.

-- 
Antti-Juhani