projects / users / heikki / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8706810) | patch
doc: Call xmllint for validity also in the fop build
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jun 2015 23:54:28 +0000 (19:54 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jun 2015 23:54:28 +0000 (19:54 -0400)
commit75a49ba550bae7a44bc1c4b2b7413a1768f70829
tree15fc427e3611dbc41aeede757760f25b29db9624tree
parent870681017a9e39e25aca14a2426cdbc57e3ce2afcommit | diff
doc: Call xmllint for validity also in the fop build

This was somehow missed in commit
5d93ce2d0c619ba1b408eb749715e7223e23f6ae.
doc/src/sgml/Makefile diff | blob | blame | history
Heikki's random PostgreSQL patches