minor revisions of initialization text
[charm.git] / doc / markupSanitizer.py
index ad539b1270a0cbb1bec1b5f63b412fc57e66703c..bc9ed8825a34b1995a32777e69393f653611dbbc 100755 (executable)
@@ -45,6 +45,10 @@ if navmenu:
         # Add a toc within the navmenu
         navmenuTOC = BeautifulSoup(open("tmp-navmenu.html"), "lxml")
         navmenuTOC = navmenuTOC.find('ul','manual-toc').extract()
+        navmenuTOC.append( BeautifulSoup("".join([
+        '<li><a href="http://charm.cs.illinois.edu">PPL Homepage</a></li>',
+        '<li><a href="http://charm.cs.illinois.edu/help">Other Manuals</a></li>'])
+        ) )
         navmenu.append(navmenuTOC)
 
     # Insert navigation symbols to prev and next links