| #!/usr/local/bin/python |
| # Make the SWIG web-pages |
| # |
| # Okay. Yet another bogus rewrite of Barry's work |
| |
| import string |
| import glob |
| import os |
| import time |
| import stat |
| |
| def makepage(filename): |
| name, suffix = os.path.splitext(filename) |
| f = open("default.html") |
| page = f.read() |
| f.close() |
| |
| # Read in the body file |
| f = open(filename) |
| body = f.readlines() |
| f.close() |
| title = body[0] |
| body = string.join(body[1:]) |
| page = string.replace(page,"$title",title) |
| page = string.replace(page,"$body",body) |
| |
| # Read in the corner file |
| try: |
| f = open(name+".corner") |
| corner = f.read() |
| f.close() |
| except IOError: |
| try: |
| f = open("default.corner") |
| corner = f.read() |
| f.close() |
| except: |
| corner = "" |
| |
| page = string.replace(page,"$corner",corner) |
| |
| # Read in the top file |
| try: |
| f = open(name+".top") |
| top = f.read() |
| f.close() |
| except IOError: |
| try: |
| f = open("default.top") |
| top = f.read() |
| f.close() |
| except: |
| top = "" |
| |
| page = string.replace(page,"$top",top) |
| |
| # Read in the side file |
| try: |
| f = open(name+".side") |
| side = f.read() |
| f.close() |
| except IOError: |
| try: |
| f = open("default.side") |
| side = f.read() |
| f.close() |
| except: |
| side = "" |
| |
| page = string.replace(page,"$side",side) |
| |
| # Read in the footer file |
| try: |
| f = open(name+".footer") |
| footer = f.read() |
| f.close() |
| except IOError: |
| try: |
| f = open("default.footer") |
| footer = f.read() |
| f.close() |
| except: |
| footer = "" |
| |
| page = string.replace(page,"$footer",footer) |
| |
| mtime = os.stat(filename)[stat.ST_MTIME] |
| mstr = time.ctime(mtime) |
| |
| page = string.replace(page,"$mtime",mstr); |
| |
| # Write out the page |
| f = open(name+".html","w") |
| f.write(page) |
| f.close() |
| print "Wrote ", name+".html" |
| |
| files = glob.glob("*.ht") |
| |
| for f in files: |
| makepage(f) |
| |
| |
| |
| |