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