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: