<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"
     "http://www.w3.org/TR/REC-html40/strict.dtd">
<html>
<head>
<meta http-equiv="Refresh" content="0; URL=docs/html/index.html">
<title></title>
</head>
<body>
This document will redirect you to the real documenation which starts at docs/index.html.
<p>
If your browser doesn't support redirects, or you are looking at this file from the download 
package, you will need to go to docs/html/index.html manually.
</body>
</html>