Merge pull request #17576 from edsantiago/manpage_check

make docs: sanity check for broken man pages
containers · Feb 20, 2023 · a4f7bdc · a4f7bdc
2 parents cdd755d + 5754df8
commit a4f7bdc
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -469,11 +469,9 @@ $(MANPAGES): %: %.md .install.md2man docdir
 	       -e 's;<\(/\)\?\(a\|a\s\+[^>]*\|sup\)>;;g'    \
 	       -e 's/\\$$/  /g' $<                         |\
 	$(GOMD2MAN) -out $(subst source/markdown,build/man,$@)
-# FIXME: 2023-02-16: we may need a multi-commit approach to
-# enable this.
-#	@if grep 'included file options/' docs/build/man/*; then \
-#		echo "FATAL: man pages must not contain ^^^^"; exit 1; \
-#	fi
+	@if grep 'included file options/' docs/build/man/*; then \
+		echo "FATAL: man pages must not contain ^^^^"; exit 1; \
+	fi
 
 .PHONY: docdir
 docdir: