[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: FAQ
From: |
Gerald Pfeifer |
Subject: |
Re: FAQ |
Date: |
Mon, 28 Jan 2002 06:47:38 +0100 (CET) |
On Sun, 27 Jan 2002, Hans-Albert Schneider wrote:
> Should the source be TeXinfo, or is something else more
> appropriate? (HTML?)
Texinfo, in several senses, is a better language for documentation
like that, IMHO.
> If TeXinfo is preferred, is there a better way than texi2html to
> convert it into HTML? (What does the GNU site do? [...]
I believe you could also use `makeinfo --html'; for example we are
using that on gcc.gnu.org, and I believe it's also used at various
places of www.gnu.org.
> I seem to have read that their source is TeXinfo, too, but they seem
> to have another way to translate it to HTML.)
Perhaps the source of the HTML contains the invocation of the conversion
tool somewhere, in form of a comment?
Gerald
--
Gerald "Jerry" address@hidden http://www.dbai.tuwien.ac.at/~pfeifer/
- FAQ, Hans-Albert Schneider, 2002/01/27
- Re: FAQ,
Gerald Pfeifer <=