45b51a07f8
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@444 626c5289-ae23-0410-ae9c-e8d60b6d4f22
105 lines
1.7 KiB
Python
Executable file
105 lines
1.7 KiB
Python
Executable file
#!/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)
|
|
|
|
|
|
|
|
|