summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2015-06-10 19:54:28 -0400
committerPeter Eisentraut <peter_e@gmx.net>2015-06-10 19:54:28 -0400
commit75a49ba550bae7a44bc1c4b2b7413a1768f70829 (patch)
tree15fc427e3611dbc41aeede757760f25b29db9624
parent870681017a9e39e25aca14a2426cdbc57e3ce2af (diff)
doc: Call xmllint for validity also in the fop build
This was somehow missed in commit 5d93ce2d0c619ba1b408eb749715e7223e23f6ae.
-rw-r--r--doc/src/sgml/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index ac3a142bb26..24b895f3c39 100644
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -271,9 +271,11 @@ htmlhelp: stylesheet-hh.xsl postgres.xml
$(XSLTPROC) $(XSLTPROCFLAGS) $^
%-A4.fo.tmp: stylesheet-fo.xsl %.xml
+ $(XMLLINT) --noout --valid $*.xml
$(XSLTPROC) $(XSLTPROCFLAGS) --stringparam paper.type A4 -o $@ $^
%-US.fo.tmp: stylesheet-fo.xsl %.xml
+ $(XMLLINT) --noout --valid $*.xml
$(XSLTPROC) $(XSLTPROCFLAGS) --stringparam paper.type USletter -o $@ $^
FOP = fop