diff options
Diffstat (limited to 'manual/libc-texinfo.sh')
| -rw-r--r-- | manual/libc-texinfo.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/libc-texinfo.sh b/manual/libc-texinfo.sh index 321b9554ad..e7af132dbf 100644 --- a/manual/libc-texinfo.sh +++ b/manual/libc-texinfo.sh @@ -25,7 +25,7 @@ collect_nodes () { END { for (x in file) if (file[x] != "") print file[x] ":" x, file[nnode[x]] ":" nnode[x] }' | - tsort | sed 's/_/ /g; $d' + $AWK -f tsort.awk | sed 's/_/ /g' } collect_nodes $1 | build_menu |