[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Bastien |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Wed, 07 Mar 2018 01:19:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Hi Paul,
Paul Eggert <address@hidden> writes:
> On 03/06/2018 10:04 AM, Bastien wrote:
>> One drawback is that we will have to backport manual changes made in
>> Emacs' repo to org.texi into Org's manual.org file
>
> Let's fix this by adding a Makefile rule to Emacs master, a rule that
> generates org.texi automatically from manual.org. Then we can remove
> org.texi from the master source tree, and replace it with manual.org.
It would be great!
I don't know where to start for doing this: can you give us some
direction?
Thanks,
--
Bastien
- Re: Using Org as the source format to generate org.texi, (continued)
- 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
- 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/13
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/06
- Re: Using Org as the source format to generate org.texi,
Bastien <=
- Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/07
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
- Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/09
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
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, Phillip Lord, 2018/03/09
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/12
Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/10