documentation output directory

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? Peter, I think you're working on other doc-related things
(build dir rather than source dir?), so I'm not going to touch this
until you tell me it's OK to do so.

I don't mind cleaning up the doc/ subtree a bit. But note that it is
generally sanest when a Makefile builds files in the current directory using
files in the current directory. So please don't create a setup where make in
doc/src/sgml/ creates files in doc/ or an unrelated subdirectory of doc/. In
other words, if you prefer the above setup, you need to move the build logic
to doc/Makefile.

Ultimately, the sanest way would be to remove doc/src/ and doc/src/sgml/ and
put everything directly under doc/. But that would IMO require a VCS that can
tolerate that kind of move.