+ for i in `find html -name '*.html'` ; do \
+ cp $$i $$i.bak ; \
+ cat $$i.bak | \
+ sed -e 's|<li><a href="index.html"><span>Main\ Page</span></a></li>|<li><a href="index.html"><span>Overview</span></a></li> <li><a href="faq.html"><span>FAQ</span></a></li>|' \
+ -e 's|<li><a href="annotated.html"><span>Data\ Structures</span></a></li>|<li><a href="publis.html"><span>Publications</span></a></li>|g' \
+ -e 's|<span>Modules</span>|<span>Modules API</span>|g' \
+ -e 's|<li><a href="dirs.html"><span>Directories</span></a></li>||g' \
+ > $$i ; \
+ rm $$i.bak ; \
+ done
+ ../tools/doxygen/index_php.pl index.php.in html/index.html index.php