blob: 70f167bc06cc1f66bffb9ba64e837a045aec1b71 [file] [log] [blame]
#!/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)