1 files changed, 0 insertions, 7 deletions
diff --git a/lib/decl b/lib/decl
deleted file mode 100755
index c5a410d..0000000
--- a/lib/decl
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/csh -f
-rm -f lib_headers
-foreach i (Z*.c)
-	echo $i
-	awk -f decl.awk $i >> lib_headers
-	echo "" >> lib_headers
-end