[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: |
Wed, 07 Mar 2018 12:41:37 -0500 |
User-agent: |
Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
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.
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).
(Just trying to list some items relevant to the "other tweaking" part.)
- 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 <=
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
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