git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 3f76f96) | patch

Separate targets "make docs" and "make install-docs" for the documentation

Separate targets "make docs" and "make install-docs" for the documentation

It is no longer installed by default, but included in "make world"/"make
install-world". Documentation updated accordingly.

Also, fix vpathsearch function to work when calling make install-docs
without previous make docs.

RSS Atom