| #!/usr/bin/python | |
| # Adds the SWIG stylesheet to the generated documentation on a single page | |
| import sys | |
| import string | |
| filename = sys.argv[1] | |
| data = open(filename).read() | |
| open(filename+".bak","w").write(data) | |
| swigstyle = "\n" + open("style.css").read() | |
| lines = data.splitlines() | |
| result = [ ] | |
| for s in lines: | |
| if s == "<STYLE TYPE=\"text/css\"><!--": | |
| result.append(s + swigstyle) | |
| else: | |
| result.append(s) | |
| data = "\n".join(result) | |
| open(filename,"w").write(data) |