1 files changed, 0 insertions, 16 deletions
diff --git a/defs2d.awk b/defs2d.awk
deleted file mode 100755
index 23af3de..0000000
--- a/defs2d.awk
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/awk -f
-
-/type/ {
-	printf("static %s a_%s;\n\n", $2, $2);
-}
-
-/distinct/ {
-	printf("static int %s[] = {\n", $2);
-	for (i = 3; i <= NF; i++) {
-		#printf("#ifndef %s\n", $i);
-		#printf("#error %s not defined\n", $i);
-		#printf("#endif\n");
-		printf("\t%s,\n", $i);
-	}
-	printf("};\n");
-}