Peter Eisentraut 29ccc32c30 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.

2010-03-30 00:10:46 +00:00

..

sgml

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

2010-03-30 00:10:46 +00:00

Makefile

Ship documentation without intermediate tarballs

2009-08-09 22:47:59 +00:00