diff --git a/doc/hello.texi b/doc/hello.texi
line changes: +7/-5
index ab21bc3..57c1762
--- a/doc/hello.texi
+++ b/doc/hello.texi

@@ -15,12 +15,12 @@
 This manual is for GNU Hello (version @value{VERSION}, @value{UPDATED}),
 which prints a friendly greeting (and serves as an example GNU package).
 
-Copyright @copyright{} 1992, 1993, 1996, 2002, 2005, 2006, 2007, 2008
-Free Software Foundation, Inc.
+Copyright @copyright{} 1992, 1993, 1996, 2002, 2005, 2006, 2007, 2008,
+2009 Free Software Foundation, Inc.
 
 @quotation
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
+under the terms of the GNU Free Documentation License, Version 1.3 or
 any later version published by the Free Software Foundation; with no
 Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
 Texts.  A copy of the license is included in the section entitled

@@ -53,6 +53,8 @@ Texts.  A copy of the license is included in the section entitled
 @top GNU Hello
 
 This manual is for GNU Hello (version @value{VERSION}, @value{UPDATED}).
+
+@insertcopying
 @end ifnottex
 
 @menu

@@ -102,8 +104,8 @@ not embodied in the standards, using other GNU packages and features:
 @item
 @cindex Automake
 @cindex Autoconf
-It uses Automake (@pxref{Top,,Introduction,Automake,GNU Automake}) and
-hence also Autoconf (@pxref{Top,,Introduction,Autoconf,GNU Autoconf})
+It uses Automake (@pxref{Top,,Introduction,automake,GNU Automake}) and
+hence also Autoconf (@pxref{Top,,Introduction,autoconf,GNU Autoconf})
 for configuration.
 
 @item