<html> <head><meta http-equiv="refresh" content="0; url=doc/html/index.html" /></head> <body>Please go to <a href="doc/index.html">doc/html/index.html</a></body> </html>
