1 files changed, 0 insertions, 28 deletions
diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py
deleted file mode 100644
index faec284..0000000
--- a/Doc/ref/makeMIFs.py
+++ /dev/null
@@ -1,28 +0,0 @@
-#! /bin/env python
-
-"""Script to write MIF files from ref.book and ref*.doc."""
-
-import os
-import glob
-import string
-
-def main():
-    files = ['ref.book'] + glob.glob('ref*.doc')
-    files.sort()
-    print "Files:", string.join(files)
-    print "Starting FrameMaker..."
-    pipe = os.popen("fmbatch", 'w')
-    for i in files:
-	cmd = "Open %s\nSaveAs m %s %s.MIF\n" % (i, i, os.path.splitext(i)[0])
-	print cmd
-	pipe.write(cmd)
-    pipe.write("Quit\n")
-    sts = pipe.close()
-    if sts:
-	print "Exit status", hex(sts)
-    else:
-	print "Starting webmaker..."
-	os.system('/depot/sundry/src/webmaker/webmaker-sparc/webmaker -c ref.wml -t "Python 1.5 Reference Manual" ref.MIF')
-
-if __name__ == '__main__':
-    main()