Rearrange the file tree.

[catacomb] / math / p-gentab.awk

diff --git a/p-gentab.awk b/math/p-gentab.awk
similarity index 98%
rename from p-gentab.awk
rename to math/p-gentab.awk
index 09a1c37251255a104e1e6969da6995259f3e5bf3..f0dd357b98f2f8ca80b19f57fa9c722db815c7bc 100755 (executable)
--- a/p-gentab.awk
+++ b/math/p-gentab.awk
@@ -1,8 +1,6 @@
 #! /usr/bin/awk -f
-#
-# $Id$
 
-function banner(name,  s, i)
+function banner(name, s, i)
 {
   s = "/*----- " name " ";
   while (length(s) < 75) s = s "-";