Doc/Manual/fixstyle.py

   1 #!/usr/bin/python
   2
   3 # Adds the SWIG stylesheet to the generated documentation on a single page
   4
   5 import sys
   6 import string
   7
   8 filename = sys.argv[1]
   9
  10 data = open(filename).read()
  11 open(filename+".bak","w").write(data)
  12
  13 swigstyle = "\n" + open("style.css").read()
  14
  15 lines = data.splitlines()
  16 result = [ ]
  17 for s in lines:
  18         if s == "<STYLE TYPE=\"text/css\"><!--":
  19                 result.append(s + swigstyle)
  20         else:
  21                 result.append(s)
  22
  23 data = "\n".join(result)
  24
  25 open(filename,"w").write(data)