[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Glenn Morris |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Mon, 12 Mar 2018 13:12:05 -0400 |
User-agent: |
Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
Phillip Lord wrote:
>> Note that this will make info generation depend on the existence of
>> src/emacs, when it was previously independent.
>
> Which would shove generation of the documentation till after dumping. I
> don't know enough about make to work out whether this would be for just
> org.org or for all the texi.
It should just be for org. I imagine an order-only prerequisite for
org.texi on src/emacs (as well as normal prerequisites on all the
relevant org.el source files, sigh).
>> Also, if any other manual made the same change, it would prevent
>> bootstrapping Emacs without Org present (eg if the idea to include elpa
>> packages in Emacs releases ever goes anywhere, and it's desired to stop
>> duplicating Org in the Emacs repo; an idea which still makes complete
>> sense to me).
>
> Confused on this one. bootstrapping needs the documentation to be complete?
By "bootstrapping Emacs" I meant "building it from the Emacs repository".
This includes generating the info documentation from whatever the
ultimate source files are, not just creating src/(bootstrap-)emacs.
- Re: Using Org as the source format to generate org.texi, (continued)
- 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, 2018/03/06
- 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 <=
- 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
- Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/10
- Re: Using Org as the source format to generate org.texi, Stefan Monnier, 2018/03/10
- Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/11
- Re: Using Org as the source format to generate org.texi, Radon Rosborough, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Stefan Monnier, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/13