[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55969: Feature request: configure option to build Emacs without any
From: |
Gregor Zattler |
Subject: |
bug#55969: Feature request: configure option to build Emacs without any documentation |
Date: |
Tue, 14 Jun 2022 15:08:21 +0200 |
Dear emacs developers, Eli,
* Eli Zaretskii <eliz@gnu.org> [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
- bug#55969: Feature request: configure option to build Emacs without any documentation,
Gregor Zattler <=