Augmented the script so that (at CNRI anyway) it also invokes webmaker

to create the HTML.

diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py
index fcaa71b265561e5b2b13881c8e0c3384fcf1cf1d..faec284949b8deefbb8a1eaf438941ac45fbcf9d 100644 (file)
--- 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()