projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c52204b) | patch
Use --with-docdir to choose installation location of documentation; put
authorPeter Eisentraut
Mon, 24 Nov 2003 14:52:58 +0000 (14:52 +0000)
committerPeter Eisentraut
Mon, 24 Nov 2003 14:52:58 +0000 (14:52 +0000)
commitb3d72d3ec52e4477eb9837c2b0d701e47fa55ef5
tree701f8fde77a73206be2c4e6c9d140e54f0fda253tree
parentc52204b2246c5effd9f5638206bf022585dd782fcommit | diff
Use --with-docdir to choose installation location of documentation; put
back --infodir, which several automatic build environments expect to exist.
Add --without-docdir to prevent installation of documentation, which is
helpful for things like RPM that have their own method of installing
documentation.
config/libtool.m4 diff | blob | blame | history
configure diff | blob | blame | history
configure.in diff | blob | blame | history
doc/Makefile diff | blob | blame | history
doc/src/sgml/installation.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.