+ s|<li.*><a href="pages.html"><span>Related Pages</span></a></li>\n||g;
+ s|<li class="current"><a href="modules.html"><span>Modules API</span></a></li>\n||g;
+ s|<li class="current"><a href="modules.html"><span>Modules API</span></a></li>\n||g;
+ if($file =~ /^html\/group__.*/)
+ {
+ s|<li><a href="use.html">|<li class="current"><a href="use.html">|g;
+ s|<li><a href="modules.html"><span>Modules API</span></a></li>\n|<li class="current"><a href="modules.html"><span>Modules API</span></a></li>\n|g;
+ }
+ else
+ {
+ s|<li><a href="modules.html"><span>Modules API</span></a></li>\n||g;
+ }
+ s|<li><a href="annotated.html"><span>Data Structures</span></a></li>\n||g;
+ s|<li class="current"><a href="annotated.html"><span>Data Structures</span></a></li>\n||g;
+ s|Related Pages<|Documentation index<|g;
+