Re: make docs

[Eli Zaretskii]

> From: Jean-Christophe Helary <lists@traduction-libre.org>
> Date: Thu, 23 Dec 2021 21:44:45 +0900
> Cc: p.stephani2@gmail.com,
>  emacs-devel@gnu.org
> 
> > 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.

The part after the Emacs binary finished building.  It builds the
manuals in doc/misc/.  So I looked at doc/misc/Makefile.in, and saw
the dependency there.