Re: [DOCS] documentation output directory

2009-08-14 Thread Peter Eisentraut
On Saturday 15 August 2009 00:28:48 Alvaro Herrera wrote: > In looking at snapshot generation it becomes clear that the output of > the documentation is misplaced. I say we should move the output dirs to > be: > > doc/html > doc/man/man1 > doc/man/man3 > doc/man/man7 > doc/src/... > > Objections?

[DOCS] documentation output directory

2009-08-14 Thread Alvaro Herrera
Hi, In looking at snapshot generation it becomes clear that the output of the documentation is misplaced. I say we should move the output dirs to be: doc/html doc/man/man1 doc/man/man3 doc/man/man7 doc/src/... Objections? Peter, I think you're working on other doc-related things (build dir rat