<html>
<head>
<title>Documentation</title>
<meta http-equiv="refresh" content="0;url=manual/"/>
</head>
<body>
<!--
Note:
There are several kinds of documentation available. This file
merely redirects to the HTML version.
Also available may be API documentation, documentating the classes,
attributes, and relationships, as well as PDF versions of the HTML
documentation.
-->
</body>
</html>