[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Phillip Lord |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Fri, 09 Mar 2018 11:19:30 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.91 (gnu/linux) |
Glenn Morris <address@hidden> writes:
> Paul Eggert wrote:
>
>> I assume that we'd add something like this to doc/misc/Makefile.in:
>>
>> EXEEXT = @EXEEXT@
>> EMACS = ../src/emacs$(EXEEXT)
>> EMACSOPT = -batch --no-site-file --no-site-lisp
>> emacs = EMACSLOADPATH= '$(EMACS)' $(EMACSOPT)
>>
>> $(srcdir)/org.texi: $(srcdir)/org-manual.org
>> $(AM_V_GEN)$(emacs) -l something --eval '(something)' something
>>
>> Some other tweaking will be needed, but the crucial thing is to get
>> that last line right.
>
> 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.
> 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?
Phil
- 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 <=
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
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