- if (m,<li><a href="index.html"><span>Main\ Page</span></a></li>,) {
- print TO '<li><a href="index.html"><span>Overview</span></a></li>';
- print TO '<li><a href="faq.html"><span>FAQ</span></a></li>';
+ if (m,<li><a href="(doc/)?index.html"><span>Main\ Page</span></a></li>,) {
+ print TO '<li><a href="'.$1.'index.html"><span>Overview</span></a></li>'."\n";
+ print TO '<li><a href="'.$1.'faq.html"><span>FAQ</span></a></li>'."\n";