git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8706810) | patch

doc: Call xmllint for validity also in the fop build

author Peter Eisentraut <peter_e@gmx.net>

2015年6月10日 23:54:28 +0000 (19:54 -0400)

committer Peter Eisentraut <peter_e@gmx.net>

2015年6月10日 23:54:28 +0000 (19:54 -0400)

commit 75a49ba550bae7a44bc1c4b2b7413a1768f70829

tree 15fc427e3611dbc41aeede757760f25b29db9624 tree

parent 870681017a9e39e25aca14a2426cdbc57e3ce2af commit | 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

This is the main PostgreSQL git repository.