diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 0000000000000000000000000000000000000000..a7f15ab193314473b6025c8aa7def007689aade4
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1,4 @@
+<!-- This is for http servers that default to index.html -->
+<html>
+<meta http-equiv="refresh" content="0; URL=index.htm">
+</html>
\ No newline at end of file