diff options
| -rw-r--r-- | doc/src/sgml/Makefile | 2 |
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 |