[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Richard Stallman |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Wed, 07 Mar 2018 17:57:17 -0500 |
[[[ 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. ]]]
> > One drawback is that we will have to backport manual changes made in
> > Emacs' repo to org.texi into Org's manual.org file, but such changes
> > are rare enough that we think we can handle this.
> Why wouldn't we use Org's manual.org in Emacs?
Our standard format for manuals is Texinfo.
However, it is ok to use another format if it can
be converted into good Texinfo. That means
the conversion produces a Texinfo file which
uses all the constructs according to our style.
If Org can convert manual.org into that,
then it is ok as a source file.
Can Org express all the constructs of Texinfo?
But I think 'manual.org' is the wrong name for it.
It isn't the one and only manual we distribute, and it
may not be the only one written in org. So
it should be 'org-manual.org', right?
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
- Re: Using Org as the source format to generate org.texi, (continued)
- Re: Using Org as the source format to generate org.texi, Kaushal Modi, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Bastien, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/07
- Re: Using Org as the source format to generate org.texi, Kaushal Modi, 2018/03/07
- Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
- Re: Using Org as the source format to generate org.texi, Michael Albinus, 2018/03/08
- Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
- Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
- Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/07
- Re: Using Org as the source format to generate org.texi,
Richard Stallman <=
- Re: Using Org as the source format to generate org.texi, Bastien, 2018/03/09
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/10
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/10
- Re: Using Org as the source format to generate org.texi, Michael Albinus, 2018/03/11
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/11
- Re: Using Org as the source format to generate org.texi, Richard Stallman, 2018/03/11
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12