Re: [BUGS] Building documentation in PostgreSQL 7.2devel

2001-09-04 Thread Peter Eisentraut
John Summerfield writes: > The build instructions in the INSTALL documentation does not lead to the > documentation (HTML or man pages) being built. It's not supposed to. The documentation is built separately and copied into the tree before a release tarball is made. Historically, the document

[BUGS] Building documentation in PostgreSQL 7.2devel

2001-09-04 Thread John Summerfield
The build instructions in the INSTALL documentation does not lead to the documentation (HTML or man pages) being built. Here are all the directories I have having followed the instructions: [pgtest@possum pgtest]$ ls postgresql total 24 drwxrwxr-x6 pgtest pgtest 4096 Sep 3 16:50 .