<html> <head> <script type="text/javascript"> <!-- function redirect(){ window.location = "doxygen-html/index.html" } //--> </script> </head> <body onLoad="redirect()"> </body> </html>
