about summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/summary.awk8
1 files changed, 4 insertions, 4 deletions
diff --git a/manual/summary.awk b/manual/summary.awk
index 31da0ef1dc..aeb41f42dc 100644
--- a/manual/summary.awk
+++ b/manual/summary.awk
@@ -1,5 +1,5 @@
 # awk script to create summary.texinfo from the library texinfo files.
-# Copyright (C) 1992, 1993, 1997 Free Software Foundation, Inc.
+# Copyright (C) 1992, 1993, 1997, 2001 Free Software Foundation, Inc.
 # This file is part of the GNU C Library.
 
 # The GNU C Library is free software; you can redistribute it and/or
@@ -127,8 +127,8 @@ header != 0 && $1 ~ /@def|@item|@vindex/ \
 	      }
 	    }
 	  }
-	  printf "@comment %s%c", name, 012 # FF
-	  printf "@item%s%c%c", defn, 012, 012
+	  printf "@comment %s%c", name, 12 # FF
+	  printf "@item%s%c%c", defn, 12, 12
 	  if (header != -1) printf "%s ", header;
-	  printf "(%s):  @ref{%s}.%c\n", std, node, 012;
+	  printf "(%s):  @ref{%s}.%c\n", std, node, 12;
 	  header = 0 }