]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f22967e) | patch
Mark some intermediate targets as .PRECIOUS, to replace the recently removed
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 18 May 2007 15:55:03 +0000 (15:55 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 18 May 2007 15:55:03 +0000 (15:55 +0000)
commit2f1bf8248a15a7be88c7a6de202976584e53c1ad
tree952bb92b8b766fc7b5b31d23f075a548c11166d4tree | snapshot
parentf22967ee386235c06e2b242369e6f1714919b234commit | diff
Mark some intermediate targets as .PRECIOUS, to replace the recently removed
.SECONDARY target.  This makes experimentation with the PDF builds easier.
doc/src/sgml/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.