diff options
| author | Peter Eisentraut | 2017-11-09 22:06:32 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-11-10 13:32:22 +0000 |
| commit | 2d7e35b3a931fcef48a1faf0a0fb04f3db57cbde (patch) | |
| tree | 2283eea7aef2bac46e04ff3af4e698bfb59061bb /doc/src/sgml | |
| parent | 1da48a9a6b9dced66610b70f94f1e5418afc1f8c (diff) | |
Add -wnet to SP invocations
This causes a warning when accidentally backpatching an XML-style
empty-element tag like <xref linkend="abc"/>.
Diffstat (limited to 'doc/src/sgml')
| -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 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 |