--- auctex.texi	05 Jul 2005 15:56:14 +0200	1.237
+++ auctex.texi	06 Jul 2005 18:11:38 +0200	
@@ -65,7 +65,15 @@
 @top @AUCTeX{}
 @end ifhtml
 
address@hidden
address@hidden
address@hidden
address@hidden
address@hidden ifnothtml
+
address@hidden
address@hidden Executive Summary
address@hidden iftex
+
 @AUCTeX{} is an integrated environment for editing @LaTeX{}, @ConTeXt{},
 address@hidden, Texinfo, and @TeX{} files.
 
@@ -125,13 +133,6 @@
 sending ``subscribe'' in the subject of a mail to
 @email{info-auctex-request@@gnu.org}.
 
address@hidden ifnottex
-
address@hidden
address@hidden
address@hidden
address@hidden ifnothtml
-
 @menu
 * Copying::                     Copying
 * Introduction::                Introduction to @AUCTeX{}