Check-in by ben on 2025-11-12 05:15:29
Fix name of awk script. Apparently gawk ran it anyway!
INSERTED DELETED
1 1 geomyidae.sh
1 1 TOTAL over 1 changed file
Index: geomyidae.sh
==================================================================
--- geomyidae.sh
+++ geomyidae.sh
@@ -10,9 +10,9 @@
fi
find "$dir" -type f -name gophermap | while read f
do
d=$(dirname $f)
- awk -f map2gph "$f" >"$d/index.gph"
+ awk -f map2gph.awk "$f" >"$d/index.gph"
done
find "$dir" -type f -name gophermap -print0 | xargs -0 rm