projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fc1046) | patch
Make --without-docdir configure option actually work, per Manfred.
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 23 May 2004 15:24:32 +0000 (15:24 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 23 May 2004 15:24:32 +0000 (15:24 +0000)
commita712570880510e94fa987b891d7b6179786611a7
tree397d14142de8887c36cce0af24a4aba3f8aa6c56tree
parent5fc1046f2f0a3e08005312cc2afe5ef934aa706ecommit | diff
Make --without-docdir configure option actually work, per Manfred.
src/Makefile.global.in diff | blob | blame | history
This is the main PostgreSQL git repository.