<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<HTML lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
<meta http-equiv="refresh" content="0;URL=doc/MAINREADME.html">
<title>Refresh</title>
</head>
<body>
<p>
Refreshing page. If your browser does not automatically take you, click
<a href="doc/MAINREADME.html">here</a>
</body>
</html>