<html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="refresh" content="0;URL='html/index.html'" /> </head> <body> <a href="html/index.html">Documentation index</a></p> </body> </html>
