+ s << "<a href=\"#"<<ii->first<<"\">"<<ii->first<<"</a> ";
+ }
+
+ for (ii=index.begin();ii!=index.end();++ii)
+ {
+ s << "<p><hr>\n";
+ s << "<p><a href=\"#Top\">Top</a>";
+ if (type==Packages)
+ {
+ s << "<a name=\""<<ii->first<<"\"></a>\n";
+ s << "<p><a href=\""<<ii->first<<"/index.html\">"
+ << ii->first<<"</a>\n";
+ }
+ else
+ {
+ s << "<a name=\""<<ii->first<<"\"></a>\n";
+ s << "<p><b>"<<ii->first<<"</b>\n";
+ }