Use tsort.awk.
authordrepper <drepper>
Mon, 18 Jan 1999 09:23:09 +0000 (09:23 +0000)
committerdrepper <drepper>
Mon, 18 Jan 1999 09:23:09 +0000 (09:23 +0000)
manual/libc-texinfo.sh

index 321b955..e7af132 100644 (file)
@@ -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