building the documentation via 'python setup.py build_doc'

[Stefan Seefeld]

I just committed a patch that adds a 'build_doc' command
to the new build procedure.

'python setup.py build_doc' will build the docs (html, tex, pdf)
if it can. The output directory can be specified via '--build-lib',
so if you want to put the docs right into the source tree, just run
'python setup.py build_doc --build-lib=.'.

The code is mostly a transcription of the relevant parts in
configure.in and GNUmakefile, so I hope it works for everyone.

Regards,
		Stefan