<!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=doc/index.html">
<title></title>
</head>
<body>
This document will redirect you to the real documentation which starts at 
doc/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 doc/index.html manually.
</body>
</html>