}
if (m,<li><a href="(doc/)?annotated.html"><span>Data\ Structures</span></a></li>,) {
print TO ' <li'.($file =~ m,(doc/)?publis(_[^.]*)?.html, ? " class='current'" :"").'><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";
}
if (m,<li><a href="(doc/)?annotated.html"><span>Data\ Structures</span></a></li>,) {
print TO ' <li'.($file =~ m,(doc/)?publis(_[^.]*)?.html, ? " class='current'" :"").'><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";