[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.


Reply to: