summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGuido van Rossum <guido@python.org>1996-11-27 19:50:32 (GMT)
committerGuido van Rossum <guido@python.org>1996-11-27 19:50:32 (GMT)
commit558c09e4c175746a96dc972e447b9eb6b22037de (patch)
treef3ae7bd4adf8731a41c673fde555cf6ce8b29d93
parent58a7856961c9202ed80d0f72a7f0c4a116a41622 (diff)
downloadcpython-558c09e4c175746a96dc972e447b9eb6b22037de.zip
cpython-558c09e4c175746a96dc972e447b9eb6b22037de.tar.gz
cpython-558c09e4c175746a96dc972e447b9eb6b22037de.tar.bz2
Script to write MIF files from ref*.{book,doc}
-rw-r--r--Doc/ref/makeMIFs.py17
1 files changed, 17 insertions, 0 deletions
diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py
new file mode 100644
index 0000000..fcaa71b
--- /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()