<!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> |