Re: make docs

[Eli Zaretskii]

> 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.