blob: fcaa71b265561e5b2b13881c8e0c3384fcf1cf1d [file] [log] [blame]
Guido van Rossum558c09e1996-11-27 19:50:32 +00001#! /bin/env python
2
3"""Script to write MIF files from ref.book and ref*.doc."""
4
5import os
6import glob
7
8def main():
9 pipe = os.popen("fmbatch", 'w')
10 for i in ['ref.book'] + glob.glob('ref*.doc'):
11 cmd = "Open %s\nSaveAs m %s %s.MIF\n" % (i, i, os.path.splitext(i)[0])
12 print cmd
13 pipe.write(cmd)
14 pipe.write("Quit\n")
15
16if __name__ == '__main__':
17 main()