End users shouldn't have to invoke a separate command to install the
Peter Eisentraut <peter_e@gmx.net>
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.
Files
| Path | Change | +/− |
|---|---|---|
| configure.in | modified | +8 −1 |
| doc/Makefile | modified | +37 −57 |
| GNUmakefile.in | modified | +8 −5 |
| src/Makefile.global.in | modified | +2 −2 |