diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2001-08-04 15:36:35 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2001-08-04 15:36:35 +0000 |
| commit | 033a2c132f8634bc49e4073cfb82627964c7fdc7 (patch) | |
| tree | fd9a2251285d7e322f9c69bfd9678dad77d81514 /manual/summary.awk | |
| parent | c2a714f32e6c56358f6dc9400de882753e966d22 (diff) | |
Update.
* manual/summary.awk: Fix value used for FF.
Diffstat (limited to 'manual/summary.awk')
| -rw-r--r-- | manual/summary.awk | 8 |
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 } |