diff options
Diffstat (limited to 'manual/summary.awk')
| -rw-r--r-- | manual/summary.awk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/summary.awk b/manual/summary.awk index d997a2080f..3d4d19ea4a 100644 --- a/manual/summary.awk +++ b/manual/summary.awk @@ -1,6 +1,6 @@ # awk script to create summary.texinfo from the library texinfo files. -# Copyright (C) 1992, 1993 Free Software Foundation, Inc. +# Copyright (C) 1992, 1993, 1997 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 @@ -86,7 +86,8 @@ print "@c This file is generated by summary.awk from the Texinfo sources." $1 == "@node" { node=$2; for (i = 3; i <= NF; ++i) { node=node " " $i; if ( $i ~ /,/ ) break; } - } + sub (/,[, ]*$/, "", node); + } $1 == "@comment" && $2 ~ /\.h$/ { header="@file{" $2 "}"; for (i = 3; i <= NF; ++i) |