(BEGIN): Print comments saying summary.texinfo is a generated file.
authorroland <roland>
Thu, 12 Nov 1992 21:12:46 +0000 (21:12 +0000)
committerroland <roland>
Thu, 12 Nov 1992 21:12:46 +0000 (21:12 +0000)
manual/summary.awk

index 2f1edd8..6648d4f 100644 (file)
@@ -1,4 +1,4 @@
-# awk script to create summary.out from the library texinfo files.
+# awk script to create summary.texinfo from the library texinfo files.
 
 # Copyright (C) 1992 Free Software Foundation, Inc.
 # This file is part of the GNU C Library.
 # not, write to the Free Software Foundation, Inc., 675 Mass Ave,
 # Cambridge, MA 02139, USA.
 
+# This script recognizes sequences that look like:
+#      @comment HEADER.h
+#      @comment STANDARD
+#      @def... ITEM | @item ITEM | @vindex ITEM
+
 BEGIN { header = 0;
 nameword["@defun"]=1
 nameword["@defmac"]=1
@@ -49,6 +54,9 @@ nameword["@itemx"]=1
 firstword["@itemx"]=1
 nameword["@vindex"]=1
 firstword["@vindex"]=1
+
+print "@c DO NOT EDIT THIS FILE!"
+print "@c This file is generated by summary.awk from the Texinfo sources."
 }
 
 $1 == "@node" { node=$2;