[PATCH] Do not build manual in source directory

[Andreas Schwab]

Andreas Jaeger <aj@suse.de> writes:

> diff --git a/manual/Makefile b/manual/Makefile
> index 29e36c2..afc7afc 100644
> --- a/manual/Makefile
> +++ b/manual/Makefile
> @@ -26,18 +26,19 @@ INSTALL_INFO = install-info
>  
>  .PHONY: all dvi pdf info html
>  all: dvi
> -dvi: libc.dvi
> -pdf: libc.pdf
>  
>  # Get glibc's configuration info.
>  include ../Makeconfig

This should be replaced by ../Rules instead of doing it later in the
file.  That obsoletes almost all the boilerplate here.  For example, the
last two pages can be removed completely.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."