diff options
Diffstat (limited to 'manual/xtract-typefun.awk')
| -rw-r--r-- | manual/xtract-typefun.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/xtract-typefun.awk b/manual/xtract-typefun.awk index 3fccd8000e..d39ceef188 100644 --- a/manual/xtract-typefun.awk +++ b/manual/xtract-typefun.awk @@ -23,6 +23,7 @@ BEGIN { check++; } + gsub(/[(){}*]/, "", $id); printf ("* %s: (libc)%s.\n", $id, last_node); } @@ -37,5 +38,6 @@ BEGIN { check++; } + gsub(/[(){}*]/, "", $id); printf ("* %s: (libc)%s.\n", $id, last_node); } |