doc build: use unique Makefile variable to control temp install

diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index f04e57246df367dd5440ea1177f93f98bb44fee6..ac3a142bb26fef6fd0ceb436f980dd751127e738 100644 (file)
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -17,6 +17,8 @@
 # to want to use.
 html:
 
+NO_TEMP_INSTALL=yes
+
 subdir = doc/src/sgml
 top_builddir = ../../..
 include $(top_builddir)/src/Makefile.global

diff --git a/src/Makefile.global.in b/src/Makefile.global.in
index 7a9af7c49f0f049d3a9f2bf85d73d161e30b0598..c583b44dbf35622a92b5e90f83c58cfdb6c27eed 100644 (file)
--- a/src/Makefile.global.in
+++ b/src/Makefile.global.in
@@ -303,7 +303,7 @@ check: temp-install
 
 .PHONY: temp-install
 temp-install:
-ifdef GENERATED_SGML # not needed for SGML 'make check'
+ifndef NO_TEMP_INSTALL
 ifeq ($(MAKELEVEL),0)
        rm -rf '$(abs_top_builddir)'/tmp_install
        $(MAKE) -C '$(top_builddir)' DESTDIR='$(abs_top_builddir)'/tmp_install install