projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5da7e53) | patch
End users shouldn't have to invoke a separate command to install the
authorPeter Eisentraut <peter_e@gmx.net>
Mon, 17 Jul 2000 22:31:59 +0000 (22:31 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Mon, 17 Jul 2000 22:31:59 +0000 (22:31 +0000)
commit44eaafe3f8239e59c92ba27cd25e2d05bd35cf2a
tree307d8d5f70b2706989ddbc80f2024677f853030ftree
parent5da7e533f7860d3a00e784c638db0ac7b11bd36dcommit | diff
End users shouldn't have to invoke a separate command to install the
documentation. Therefore it's now installed by default. If there is no
documentation to be found (i.e., you are not using the distribution)
then this step is skipped.

Add --docdir option to configure to control installation directory.
GNUmakefile.in diff | blob | blame | history
configure.in diff | blob | blame | history
doc/Makefile diff | blob | blame | history
src/Makefile.global.in diff | blob | blame | history
This is the main PostgreSQL git repository.