Renamed summary.out -> summary.texinfo.
authorroland <roland>
Mon, 10 Feb 1992 08:03:56 +0000 (08:03 +0000)
committerroland <roland>
Mon, 10 Feb 1992 08:03:56 +0000 (08:03 +0000)
manual/header.texi

index a850bba..a9e66aa 100644 (file)
@@ -9,8 +9,9 @@ it.
 
 @table @code
 
-@comment summary.out is generated from the other texinfo files.  See Makefile.
+@comment summary.texinfo is generated from the other texinfo files.
+@comment See the Makefile and summary.awk for the details.
 
-@include summary.out
+@include summary.texinfo
 
 @end table