--- autoconf.texi.~1.677.~	2002-09-14 09:03:14.000000000 +1000
+++ autoconf.texi	2002-09-14 09:05:27.000000000 +1000
@@ -9846,6 +9846,7 @@
 
 @itemize
 @item @file{a.out} --- usual Unix convention.
address@hidden @file{b.out} --- i960 compilers (including @command{gcc}).
 @item @file{a.exe} --- DJGPP port of @command{gcc}.
 @item @file{a_out.exe} --- GNV @command{cc} wrapper for DEC C on OpenVMS.
 @item @file{foo.exe} --- various MS-DOS compilers.