projects / users / simon / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dee5588) | patch
Since doc/src/sgml already builds the HTML docs twice to resolve index
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 14 Nov 2008 10:43:59 +0000 (10:43 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 14 Nov 2008 10:43:59 +0000 (10:43 +0000)
commit01a20287fada6fea903831d9c3f76c09f6022e96
tree734da32e8a3965518584d80df5937d848049e9b9tree
parentdee55888d7f286c57f0e7f31bbeea63046308eabcommit | diff
Since doc/src/sgml already builds the HTML docs twice to resolve index
entries, we don't have to do two builds here as well.
doc/src/Makefile diff | blob | blame | history
Simon's dev repository