Also exclude building docs from inplace-conf target.

This fixes DOMjudge#1453
vmcj · Apr 22, 2022 · 1a78b1e · 1a78b1e
1 parent cc5861d
commit 1a78b1e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Makefile.global b/Makefile.global
@@ -24,13 +24,15 @@ include $(TOPDIR)/paths.mk
 endif
 
 # We should build docs if it not explicitly disabled and we're not
-# running "make maintainer-conf":
+# running "make maintainer-conf" or "make inplace-conf":
 BUILD_DOCS=no
 ifneq ($(DOC_BUILD_ENABLED),no)
 ifneq ($(MAKECMDGOALS),maintainer-conf)
+ifneq ($(MAKECMDGOALS),inplace-conf)
 BUILD_DOCS=yes
 endif
 endif
+endif
 export BUILD_DOCS
 
 # Determine revision info: