[AUCTeX-devel] Re: [AUCTeX-diffs] Changes to auctex/doc/Makefile.in

[David Kastrup]

Reiner Steib <address@hidden> writes:

> Index: auctex/doc/Makefile.in
> diff -u auctex/doc/Makefile.in:1.37 auctex/doc/Makefile.in:1.38
> --- auctex/doc/Makefile.in:1.37       Tue Jul 12 00:32:05 2005
> +++ auctex/doc/Makefile.in    Tue May 30 21:56:23 2006
> @@ -5,6 +5,7 @@
>  address@hidden@
>  address@hidden@
>  address@hidden@
> +MAKEINFO_PLAIN=-D rawfile --no-headers --no-validate

Why no-validate?  Shouldn't we rather fix problems than have them
ignored?

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum