GNU bug report logs -
#55969
Feature request: configure option to build Emacs without any documentation
Previous Next
Reported by: Gregor Zattler <telegraph <at> gmx.net>
Date: Tue, 14 Jun 2022 13:09:01 UTC
Severity: wishlist
Tags: wontfix
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
Message #23 received at 55969 <at> debbugs.gnu.org (full text, mbox):
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
This bug report was last modified 3 years and 54 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.