From 000eb0a13863afbf1936a7d052ab102bb37f2f1a Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Tue, 25 Nov 1997 20:10:19 +0000
Subject: [PATCH] Augmented the script so that (at CNRI anyway) it also invokes
 webmaker to create the HTML.

---
 Doc/ref/makeMIFs.py | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/Doc/ref/makeMIFs.py b/Doc/ref/makeMIFs.py
index fcaa71b2655..faec284949b 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()