[AUCTeX-diffs] Changes to auctex/doc/auctex.texi

[Ralf Angeli]

Index: auctex/doc/auctex.texi
diff -u auctex/doc/auctex.texi:1.237 auctex/doc/auctex.texi:1.238
--- auctex/doc/auctex.texi:1.237        Tue Jul  5 01:08:32 2005
+++ auctex/doc/auctex.texi      Thu Jul  7 08:13:19 2005
@@ -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{}