# Adds the SWIG stylesheet to the generated documentation on a single page
data
= open(filename
).read()
open(filename
+".bak","w").write(data
)
swigstyle
= "\n" + open("style.css").read()
lines
= data
.splitlines()
if s
== "<STYLE TYPE=\"text/css\"><!--":
result
.append(s
+ swigstyle
)
open(filename
,"w").write(data
)