Commit 7a9fda8e 7a9fda8e2770599444db563a7dea9648d64065fc by Sergey Poznyakoff

Bugfix. Always use $AWK.

1 parent 942c66b0
......@@ -58,7 +58,7 @@ state == 1 && /\^\^ }/ { state = 0; print; next }
state == 1 { print }
state == 0 { next }' $temp |\
tr -d '\n' | tr '^' '\n' |\
awk -f $BASEDIR/guile-doc-snarf.awk > $OUTFILE
$AWK -f $BASEDIR/guile-doc-snarf.awk > $OUTFILE
}
case "$DOCFILE" in
......