[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Alternative input formats
From: |
Stefan Monnier |
Subject: |
Re: Alternative input formats |
Date: |
Mon, 08 Dec 2014 09:48:56 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> I don't think anybody has asked for "full HTML" (and definitely not
> "full HTML5", although some HTML5 features might be nice).
Not exactly, but when Richard said:
Then there will be no reason to insist on one particular source format
for manuals for GNU packages. We could allow any source markup format
that can generate the three kinds of output we want:
* Nicely formatted PS or PDF. (Ideally, passed through TeX.)
* HTML used like Info version 2.
There's obviously the problem that until we actually define our "InfoML"
and promote it, the likelyhood that existing document publishing systems
(like Org, RST, AsciiDoc, MarkDown, DocBook, Sphynx, younameit) happen
to fall within this subset seems rather small.
But, yes I'm all for an InfoML, provided we have an infoml.el that's
able to render it fast enough. And who knows, maybe we can design it to
be "the union of the output of those existing systems".
Stefan
- Re: On being web-friendly and why info must die, (continued)
- Re: On being web-friendly and why info must die, Richard Stallman, 2014/12/07
- Re: On being web-friendly and why info must die, Steinar Bang, 2014/12/07
- Re: On being web-friendly and why info must die, Ivan Shmakov, 2014/12/07
- Re: On being web-friendly and why info must die, Steinar Bang, 2014/12/07
- Alternative input formats, Richard Stallman, 2014/12/07
- Re: Alternative input formats, Rasmus, 2014/12/07
- Re: Alternative input formats, Richard Stallman, 2014/12/08
- Re: Alternative input formats, Stefan Monnier, 2014/12/07
- Re: Alternative input formats, Stephen J. Turnbull, 2014/12/07
- Re: Alternative input formats, Ivan Shmakov, 2014/12/08
- Re: Alternative input formats,
Stefan Monnier <=
- Re: Alternative input formats, Richard Stallman, 2014/12/08
- Re: Alternative input formats, Mike Gerwitz, 2014/12/08
- Re: Alternative input formats, Stephen J. Turnbull, 2014/12/09
- Re: Alternative input formats, joakim, 2014/12/08
- Re: Alternative input formats, Stefan Monnier, 2014/12/08
- Re: Alternative input formats, Ludovic Courtès, 2014/12/11
- Re: Alternative input formats, Grim Schjetne, 2014/12/11
- Re: Alternative input formats, Richard Stallman, 2014/12/12
- Info replacement?, Ludovic Courtès, 2014/12/12
- Re: Info replacement?, Richard Stallman, 2014/12/13