From: Guido van Rossum <guido@python.org>
Date: Wed, 27 Nov 1996 19:50:32 +0000 (+0000)
Subject: Script to write MIF files from ref*.{book,doc}
X-Git-Tag: v1.5a1~905
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=558c09e4c175746a96dc972e447b9eb6b22037de;p=python

Script to write MIF files from ref*.{book,doc}
---

diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py
new file mode 100644
index 0000000000..fcaa71b265
--- /dev/null
+++ b/Doc/ref/makeMIFs.py
@@ -0,0 +1,17 @@
+#! /bin/env python
+
+"""Script to write MIF files from ref.book and ref*.doc."""
+
+import os
+import glob
+
+def main():
+    pipe = os.popen("fmbatch", 'w')
+    for i in ['ref.book'] + glob.glob('ref*.doc'):
+	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")
+
+if __name__ == '__main__':
+    main()