From 558c09e4c175746a96dc972e447b9eb6b22037de Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Wed, 27 Nov 1996 19:50:32 +0000 Subject: Script to write MIF files from ref*.{book,doc} --- Doc/ref/makeMIFs.py | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 Doc/ref/makeMIFs.py 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() -- cgit v0.12