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

Re: HTML instead of GNU Info?

Ahh, I think there has been a misunderstanding.  Those sources
generally aren't installed with a package but only in info format.
>From there, there's no way to print nicely, right?

Aaron Van Couwenberghe <vanco@sonic.net> writes:

> On Sat, Jun 19, 1999 at 03:42:46PM -0500, John Goerzen wrote:
> > Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes:
> > 
> > > Bad idea. We are not here to impose any format as the only available format
> > > to our users.
> > > 
> > > HTML will give very bad print outs, for example. Conevrting from texi to ps
> > > (over tex) is much better for that. That is just as an example.
> > 
> > Well, I haven't found a good way to do this either.  Can you please
> > share some wisdom?
> texi->dvi->ps?
> texi2dvi file.texi
> And magicfilter can figure out how to do dvi->ps and print.
> Generally, in my experience, tex is possibly one of the most malleable
> markups around. A few dialects of SGML show this too: docbook for example,
> and XML (although there are no good DFSG XML suites around, it shows some
> real potential and seems to be building momentum)
> In general, documentation formats are fairly easy to convert between. Since
> HTML is content oriented (not representation oriented like PS) it can easily
> be converted straight to clean TeX with minimal coding effort (or to groff,
> or ...). Same with TeX, and the other SGMLs.
> So IMO Debian should have no standard doc format. If someone started using a
> format that required a proprietary reader, then that's too much, but I think
> we should refrain from overregulation.
> -- 
> ..Aaron Van Couwenberghe... ..vanco@sonic.net.. ..aaronv@debian.org....
> 	Berlin:			http://www.berlin-consortium.org
> 	Debian GNU/Linux:	http://www.debian.org
> There are three kinds of people in this world: those who can count and
> 	those who can't.

John Goerzen   Linux, Unix consulting & programming   jgoerzen@complete.org |
Developer, Debian GNU/Linux (Free powerful OS upgrade)       www.debian.org |
The 462,248th digit of pi is 6.

Reply to: