--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/conf/mhdoc	Mon Apr 18 23:46:02 2005 +0900
@@ -0,0 +1,15 @@
+#! /bin/sh
+# '@(#)$Id$'
+
+echo grinding...
+
+sed -f doc/config.sed < doc/tmac.h | sed -f doc/config2.sed > ../doc/tmac.h
+sed -f doc/config.sed < doc/tmac.hdr | sed -f doc/config2.sed > ../doc/tmac.me
+sed -f doc/config.sed < doc/me2man.sed | sed -f doc/config2.sed > ../doc/me2man.sed
+
+for f in doc/*.rf
+do
+    sed -f doc/config.sed < $f | sed -f doc/config2.sed > ../doc/`basename $f .rf`.me
+done
+
+exit 0