Rearrange the file tree.

[catacomb] / math / bin-gentab.awk

diff --git a/bin-gentab.awk b/math/bin-gentab.awk
similarity index 95%
rename from bin-gentab.awk
rename to math/bin-gentab.awk
index fb8630e61b1d1d8ad10dba53428745fa574b4a09..a848aed561f49fbaece3d5816b29237892be9da4 100755 (executable)
--- a/bin-gentab.awk
+++ b/math/bin-gentab.awk
@@ -1,8 +1,6 @@
 #! /usr/bin/awk -f
-#
-# $Id: p-gentab.awk 2187 2004-09-04 07:50:08Z mdw $
 
-function banner(name,  s, i)
+function banner(name, s, i)
 {
   s = "/*----- " name " ";
   while (length(s) < 75) s = s "-";