X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/catacomb/blobdiff_plain/ba6e6b64033b1f9de49feccb5c9cd438354481f7:/p-gentab.awk..0f00dc4c8eb47e67bc0f148c2dd109f73a451e0a:/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 09a1c372..f0dd357b 100755
--- 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 "-";