summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2017-11-09 17:06:32 -0500
committerPeter Eisentraut <peter_e@gmx.net>2017-11-10 08:32:00 -0500
commit0abc7cdb875e63ff110f292eb666078d7abd1e90 (patch)
tree6815501c3ce35ac7285f0e4ad69d90aaeeeb73b0
parent3c966ce65317e8c72f4368b98dd19e753a9eae73 (diff)
Add -wnet to SP invocations
This causes a warning when accidentally backpatching an XML-style empty-element tag like <xref linkend="abc"/>.
-rw-r--r--doc/src/sgml/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index 24b895f3c39..d76de661e63 100644
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -72,10 +72,11 @@ endif
# Enable some extra warnings
# -wfully-tagged needed to throw a warning on missing tags
# for older tool chains, 2007-08-31
+# -wnet catches XML-style empty-element tags like <xref linkend="abc"/>.
# Note: try "make SPFLAGS=-wxml" to catch a lot of other dubious constructs,
# in particular < and & that haven't been made into entities. It's far too
# noisy to turn on by default, unfortunately.
-override SPFLAGS += -wall -wno-unused-param -wno-empty -wfully-tagged
+override SPFLAGS += -wall -wno-unused-param -wno-empty -wfully-tagged -wnet
##
## Man pages