Peter Eisentraut 44eaafe3f8 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.

2000-07-17 22:31:59 +00:00

1.6 KiB

Raw Blame History

View Raw