Re: Workaround for incorrect gcc exit code?

[Ralf Wildenhues]

Hi Stephen,

* Stephen P. Schaefer wrote on Mon, Feb 02, 2009 at 05:29:31PM CET:
> 
> Thank you for suggesting config.site.  I see that it is discussed in
> Chapter 14 of the manual, although it doesn't appear in the index. 

Thanks, also for the macros to work around the bug (we might consider
using it if this turns out to be more widespread).  Fixed the manual
with patch below; I also put you in THANKS.

Cheers,
Ralf

        Add index for config.site.
        * doc/autoconf.texi (Site Defaults): Add index for config.site.
        * THANKS: Update.
        Report by Stephen P. Schaefer.

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index a8cf779..9588301 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -19696,6 +19696,7 @@ Transformation Rules
 @node Site Defaults
 @section Setting Site Defaults
 @cindex Site defaults
address@hidden config.site
 
 Autoconf-generated @command{configure} scripts allow your site to provide
 default values for some configuration values.  You do this by creating