[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make docs
From: |
Jean-Christophe Helary |
Subject: |
Re: make docs |
Date: |
Thu, 23 Dec 2021 22:04:20 +0900 |
> On Dec 23, 2021, at 21:57, Philipp Stephani <p.stephani2@gmail.com> wrote:
>
> Am Do., 23. Dez. 2021 um 13:44 Uhr schrieb Jean-Christophe Helary
> <lists@traduction-libre.org>:
>>
>>
>>
>>> On Dec 23, 2021, at 18:21, Eli Zaretskii <eliz@gnu.org> wrote:
>>>
>>>> From: Jean-Christophe Helary <lists@traduction-libre.org>
>>>> Date: Thu, 23 Dec 2021 18:00:38 +0900
>>>> Cc: Philipp Stephani <p.stephani2@gmail.com>,
>>>> emacs-devel@gnu.org
>>>>
>>>>> You've removed the most interesting parts of the build transcript --
>>>>> the ones that follow the Emacs build part -- which leaves me unable to
>>>>> guess which parts of the doc directory need to build Emacs. Philipp's
>>>>> guess that it's those manuals which are provided in *.org format is
>>>>> still the winner in my book, btw.
>>>>
>>>>
>>>> Et voilĂ monsieur :-)
>>>
>>> Thanks. This is clear now: the *.org files need to be converted to
>>> *.texi, and that requires Emacs. So Philipp was right.
>>
>> Thank you. Which part of the log tells you that ? I'm just curious.
>
> In the log there's a line
> GEN org.texi
> which indicates that org.texi is somehow generated.
> The Makefile in docs/misc contains these rules:
>
> define org_template
> $(1:.org=.texi): $(1) ${top_srcdir}/lisp/org/ox-texinfo.el
> $${AM_V_GEN}cd "$${srcdir}" && $${emacs} -l ox-texinfo \
> -f org-texinfo-export-to-texinfo-batch $$(notdir $$<) $$(notdir $$@)
> endef
> $(foreach orgfile,${ORG_SRC},$(eval $(call org_template,$(orgfile))))
>
> which means that Emacs is required to build these generated .texi
> files from .org files.
Thank you Philipp.
--
Jean-Christophe Helary @brandelune
https://mac4translators.blogspot.com
https://sr.ht/~brandelune/omegat-as-a-book/
- Re: make docs, (continued)
- Re: make docs, Eli Zaretskii, 2021/12/22
- Re: make docs, Philipp Stephani, 2021/12/22
- Re: make docs, Jean-Christophe Helary, 2021/12/22
- Re: make docs, Jean-Christophe Helary, 2021/12/22
- Re: make docs, Eli Zaretskii, 2021/12/23
- Re: make docs, Jean-Christophe Helary, 2021/12/23
- Re: make docs, Eli Zaretskii, 2021/12/23
- Re: make docs, Jean-Christophe Helary, 2021/12/23
- Re: make docs, Philipp Stephani, 2021/12/23
- Re: make docs,
Jean-Christophe Helary <=
- Re: make docs, Eli Zaretskii, 2021/12/23
- Re: make docs, Jean-Christophe Helary, 2021/12/23
Re: make docs, Glenn Morris, 2021/12/23