[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[AUCTeX-devel] Re: [AUCTeX-diffs] Changes to auctex/doc/Makefile.in
From: |
David Kastrup |
Subject: |
[AUCTeX-devel] Re: [AUCTeX-diffs] Changes to auctex/doc/Makefile.in |
Date: |
Wed, 31 May 2006 00:06:21 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
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
- [AUCTeX-devel] Re: [AUCTeX-diffs] Changes to auctex/doc/Makefile.in,
David Kastrup <=