GNU bug report logs - #55969
Feature request: configure option to build Emacs without any documentation

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Robert Pluim <rpluim <at> gmail.com>
Cc: Glenn Morris <rgm <at> gnu.org>, Gregor Zattler <telegraph <at> gmx.net>, 55969 <at> debbugs.gnu.org
Subject: bug#55969: Feature request: configure option to build Emacs without any documentation
Date: Wed, 15 Jun 2022 19:23:14 +0200

Just to see what the impact might be -- with the following (on my AMD
build machine), "make -j32 bootstrap" takes 1:32 and "make -j32
without-manuals" takes...  1:30.

I.e., it's not really noticeable.  (On machines with slower/fewer cores
it would be more seconds, but the same percentage, I guess.)

So I don't think this is worth doing -- I don't think many people
would actually use this, especially since you can just say
"make -C src lisp" yourself -- so I'm closing this bug report.

diff --git a/GNUmakefile b/GNUmakefile
index 8eb61dc0ad..9d68d08369 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -117,7 +117,11 @@ Makefile:
 bootstrap: Makefile
 	$(MAKE) -f Makefile all
 
-.PHONY: bootstrap default $(ORDINARY_GOALS)
+without-manuals: Makefile
+	$(MAKE) -C src all
+	$(MAKE) -C lisp all
+
+.PHONY: bootstrap default $(ORDINARY_GOALS) without-manuals
 
 endif
 endif

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.