# @cd html ; @top_srcdir@/tools/fix_doxygen2.pl `find . -name '*.html'`
# @rm -rf html/API html/examples
# for i in `find doc/html -name "*.html" -exec grep -l "group_[^_]" {} \;` ; do tools/fix_doxygen.pl $$i; rm $$i.bak; done
# @cd html ; @top_srcdir@/tools/fix_doxygen2.pl `find . -name '*.html'`
# @rm -rf html/API html/examples
# for i in `find doc/html -name "*.html" -exec grep -l "group_[^_]" {} \;` ; do tools/fix_doxygen.pl $$i; rm $$i.bak; done