diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/ref/makeMIFs.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py index fcaa71b..faec284 100644 --- a/Doc/ref/makeMIFs.py +++ b/Doc/ref/makeMIFs.py @@ -4,14 +4,25 @@ 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 ['ref.book'] + glob.glob('ref*.doc'): + 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() |