projects
/
postgresql.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8706810
)
doc: Call xmllint for validity also in the fop build
author
Peter Eisentraut
<peter_e@gmx.net>
Wed, 10 Jun 2015 23:54:28 +0000
(19:54 -0400)
committer
Peter Eisentraut
<peter_e@gmx.net>
Wed, 10 Jun 2015 23:54:28 +0000
(19:54 -0400)
This was somehow missed in commit
5d93ce2d0c619ba1b408eb749715e7223e23f6ae
.
doc/src/sgml/Makefile
patch
|
blob
|
blame
|
history
diff --git
a/doc/src/sgml/Makefile
b/doc/src/sgml/Makefile
index ac3a142bb26fef6fd0ceb436f980dd751127e738..24b895f3c397449dc6b94ee67357117090d120bc 100644
(file)
--- 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