[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [HELP] Fwd: Org format as a new standard source format for GNU manua
From: |
Richard Stallman |
Subject: |
Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals |
Date: |
Wed, 12 Oct 2022 18:00:19 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> I would just like to point out that anyone familiar with writing a
> Texinfo-format manual who wants to combine this with Org mode
> would likely just want to embed Org constructs, like Org tables in
> the manual; not to use Org as a formatter that exports individual
> source blocks to form a Texinfo manual (literate programming
> style).
The proposal I thought I was responding to is different from both of
those. It was to make Org format an option for the source format for
a whole GNU manual. One that could generate the same output formats
that we now generate from Texinfo, and would be able to produce a
well-formatted printed manual via TeX.
This does not inherently require imply generating Texinfo format from
Org format. Texinfo format is a source format, not an output format.
However, generating Texinfo format as an intermediate format might be
advantageous as a way to feed the Org-format manual through TeX to
get a well-formatted printed manual.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, (continued)
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Ihor Radchenko, 2022/10/05
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Max Nikulin, 2022/10/02
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Ihor Radchenko, 2022/10/03
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Max Nikulin, 2022/10/04
- Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Ihor Radchenko, 2022/10/06
Re: [HELP] Fwd: Org format as a new standard source format for GNU manuals, Richard Stallman, 2022/10/07