[Top][All Lists]

[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:
>> EMACS = ../src/emacs$(EXEEXT)
>> EMACSOPT = -batch --no-site-file --no-site-lisp
>> $(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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]