Initial revision
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@444 626c5289-ae23-0410-ae9c-e8d60b6d4f22
This commit is contained in:
parent
3a9a8b4304
commit
45b51a07f8
176 changed files with 95839 additions and 0 deletions
105
swigweb/makeweb.py
Executable file
105
swigweb/makeweb.py
Executable file
|
|
@ -0,0 +1,105 @@
|
|||
#!/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)
|
||||
|
||||
|
||||
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue