00004 :
00005 input = open(PROJECT_LOCATION+"/doc/html/namespaces.html", "r")
00006 lines = input.read()
00007 input.close()
00008
00009
00010 lines = lines.replace("\n<ul>", "<ul>")
00011 lines = lines.replace("<ul>\n", "<ul>")
00012 lines = lines.replace("\n</ul>", "</ul>")
00013 lines = lines.replace("</ul>\n", "</ul>")
00014 lines = lines.replace("\n<li>", "<li>")
00015 lines = lines.replace("<li>\n", "<li>")
00016
00017
00018 lines = lines.split("\n")
00019 html = []
00020
00021 contentStarted = False
00022 for line in lines:
00023 append = True;
00024
00025 if (line.find("</table>") != -1) and (contentStarted):
00026 contentStarted = False
00027
00028 if (contentStarted):
00029 if (line.find("<tr><td class=\"indexkey\">") == -1):
00030 append = False;
00031 else:
00032 if (line.find("__cff.html") == -1) and \
00033 (line.find("__cfg.html") == -1) and \
00034 (line.find("__cfi.html") == -1):
00035 append = False;
00036
00037 if (line.find("<table>") != -1) and (not contentStarted):
00038 contentStarted = True
00039
00040 if (append):
00041 html.append(line)
00042
00043
00044
00045 html = "\n".join(html)
00046
00047 output = open(PROJECT_LOCATION+"/doc/html/configfiles.html", "w")
00048 output.write(html)
00049 output.close()