fix: when two names only differed in case, crossrefs only included one of them.

thanks to greg price.

diff --git a/runoff b/runoff
index d0e11c5223d1d87296ccd80526446911b2d68f8a..8db9bcc15d8e10f73a57dae661e50666aa2737f7 100755 (executable)
--- a/runoff
+++ b/runoff
@@ -157,7 +157,7 @@ perl -n -e 'print if s/^([0-9]+ [a-zA-Z0-9_]+)\(.*$/\1/;' alltext |
 >s.defs
 
 # make reference list
-for i in `awk '{print $2}' defs | sort -fu`
+for i in `awk '{print $2}' defs | sort -f | uniq`
 do
        defs=`egrep '^[0-9]+ '$i'( |$)' defs | awk '{print $1}'`
        echo $i $defs >>s.defs