diff --git a/doc/fdl.texi b/doc/fdl.texi
line changes: +6/-7
index fe78df8..7b93651
--- a/doc/fdl.texi
+++ b/doc/fdl.texi

@@ -1,10 +1,9 @@
-
-@node GNU Free Documentation License
-@appendixsec GNU Free Documentation License
-
-@cindex FDL, GNU Free Documentation License
+@c The GNU Free Documentation License.
 @center Version 1.2, November 2002
 
+@c This file is intended to be included within another document,
+@c hence no sectioning command or @node.  
+
 @display
 Copyright @copyright{} 2000,2001,2002 Free Software Foundation, Inc.
 51 Franklin St, Fifth Floor, Boston, MA  02110-1301, USA

@@ -408,7 +407,7 @@ as a draft) by the Free Software Foundation.
 @end enumerate
 
 @page
-@appendixsubsec ADDENDUM: How to use this License for your documents
+@heading ADDENDUM: How to use this License for your documents
 
 To use this License in a document you have written, include a copy of
 the License in the document and put the following copyright and

@@ -427,7 +426,7 @@ license notices just after the title page:
 @end smallexample
 
 If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
-replace the ``with...Texts.'' line with this:
+replace the ``with@dots{}Texts.'' line with this:
 
 @smallexample
 @group

diff --git a/doc/hello.texi b/doc/hello.texi
line changes: +3/-7
index a330f63..b475e3a
--- a/doc/hello.texi
+++ b/doc/hello.texi

@@ -60,7 +60,7 @@ This manual is for GNU Hello (version @value{VERSION}, @value{UPDATED}).
 * Sample output::	Sample output from @code{hello}.
 * Invoking hello::	How to run @code{hello}.
 * Reporting bugs::	Sending bug reports and feature suggestions.
-* Copying this manual:: Copying and sharing this documentation.
+* GNU Free Documentation License:: Copying and sharing this documentation.
 * Concept index::	Index of concepts.
 @end menu
 

@@ -289,12 +289,8 @@ include @file{ChangeLog} entries (@pxref{Change Log,,, emacs, The GNU
 Emacs Manual}).  Please follow the existing coding style.
 
 
-@node Copying this manual
-@appendix Copying this manual
-
-@menu
-* GNU Free Documentation License::  License for copying this manual.
-@end menu
+@node GNU Free Documentation License
+@appendix GNU Free Documentation License
 
 @include fdl.texi
 

diff --git a/doc/version.texi b/doc/version.texi
line changes: +2/-2
index a0582b9..48a92aa
--- a/doc/version.texi
+++ b/doc/version.texi

@@ -1,4 +1,4 @@
-@set UPDATED 26 June 2007
-@set UPDATED-MONTH June 2007
+@set UPDATED 14 July 2007
+@set UPDATED-MONTH July 2007
 @set EDITION 2.3
 @set VERSION 2.3