X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/1589affab225db500965e2cb869c534d6860e6bd..4edc47b89bc56cd4041fdb0f4e8e892acd589ed8:/p-gentab.sh diff --git a/p-gentab.sh b/p-gentab.sh deleted file mode 100755 index 210073b..0000000 --- a/p-gentab.sh +++ /dev/null @@ -1,90 +0,0 @@ -#! /bin/sh - -set -e - -cat <&2 "$0: unknown keyword $t"; exit 1;; - esac - - names="$names $n=$n" - cat <&2 "$0: wanted p; found $t"; exit 1; fi - read t q - if [ $t != q ]; then echo >&2 "$0: wanted q; found $t"; exit 1; fi - read t g - if [ $t != g ]; then echo >&2 "$0: wanted g; found $t"; exit 1; fi - - cat <