diff options
| -rw-r--r-- | doc/src/sgml/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index bcfd7db0bdd..df77a142e4d 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -66,7 +66,8 @@ ALLSGML := $(wildcard $(srcdir)/*.sgml $(srcdir)/ref/*.sgml) $(GENERATED_SGML) # Enable some extra warnings # -wfully-tagged needed to throw a warning on missing tags # for older tool chains, 2007-08-31 -override SPFLAGS += -wall -wno-unused-param -wfully-tagged +# -wnet catches XML-style empty-element tags like <xref linkend="abc"/>. +override SPFLAGS += -wall -wno-unused-param -wfully-tagged -wnet # Additional warnings for XML compatibility. The conditional is meant # to detect whether we are using OpenSP rather than the ancient # original SP. |