diff --git a/doc/index.html b/doc/index.html new file mode 100644 index 00000000..32626624 --- /dev/null +++ b/doc/index.html @@ -0,0 +1,12 @@ + + + + + +index.html not found + + +

Please update your bookmarks to point to index.htm. You will be redirected in a second.

+ +