Subject: Feature request: configure option to build Emacs without any documentation

From: Gregor Zattler <[email-masked]>
Date: Tue, 14 Jun 2022 15:08:21 +0200

Dear emacs developers, Eli,
* Eli Zaretskii <[email-masked]> [2022-06-14; 14:04]:
> An optimized build of Emacs produces org.texi in about 30 to 40
> seconds here, and that is also quite annoying for a production build.
> Lars recently made significant changes in our build scripts and
> support code because he didn't like much shorter delays.  We build
> Emacs many times a week, so these delays add up.

the possibility to configure an Emacs in order
to build without any documentation , as perhaps in:

~/src/emacs $ ./configure --without-any-documentation [...]

would be especially helpful for Emacs devs and for everybody
when doing git bisect with unoptimized builds.

Thanks for Emacs, Gregor