diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2003-11-24 14:52:58 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2003-11-24 14:52:58 +0000 |
commit | b3d72d3ec52e4477eb9837c2b0d701e47fa55ef5 (patch) | |
tree | 701f8fde77a73206be2c4e6c9d140e54f0fda253 /src/backend/commands/sequence.c | |
parent | c52204b2246c5effd9f5638206bf022585dd782f (diff) | |
download | postgresql-b3d72d3ec52e4477eb9837c2b0d701e47fa55ef5.tar.gz postgresql-b3d72d3ec52e4477eb9837c2b0d701e47fa55ef5.zip |
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.
Diffstat (limited to 'src/backend/commands/sequence.c')
0 files changed, 0 insertions, 0 deletions