[PATCH] Do not build manual in source directory

[Marek Polacek]

On Mon, Apr 23, 2012 at 10:24:05PM +0200, Andreas Jaeger wrote:
> 
> Here's a complete patch to build all manual files in the build directory
> and not anymore in the source directory. I've tested with building all
> targets (pdf, info, html, dvi, clean, realclean) on x86-64.
> 
> Ok to commit?

I tried it and it seems to work.  Thanks a lot for doing this.

	Marek