diff options
| author | Guido van Rossum <guido@python.org> | 1997-11-25 20:10:19 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1997-11-25 20:10:19 (GMT) |
| commit | 000eb0a13863afbf1936a7d052ab102bb37f2f1a (patch) | |
| tree | 626525227de1feabd53e7daf51a69db85712cf1c /Doc/ref | |
| parent | 4323f7c7fd9efcdc54c71e27b434cc82d7e3e9fc (diff) | |
| download | cpython-000eb0a13863afbf1936a7d052ab102bb37f2f1a.zip cpython-000eb0a13863afbf1936a7d052ab102bb37f2f1a.tar.gz cpython-000eb0a13863afbf1936a7d052ab102bb37f2f1a.tar.bz2 | |
Augmented the script so that (at CNRI anyway) it also invokes webmaker
to create the HTML.
Diffstat (limited to 'Doc/ref')
| -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() |