<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'> <html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'> <head> <title>Readme</title> <meta http-equiv='Content-Type' content='text/html; charset=utf-8' /> <meta http-equiv='Refresh' content='0; url=doc/index.html' /> </head> <body> <p>You can access the documentation <a href='doc/index.html'>here</a>.</p> </body> </html>