bug#55969: Feature request: configure option to build Emacs without any documentation

[Lars Ingebrigtsen]

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