diff --git a/docs/index.rst b/docs/index.rst deleted file mode 100644 index 8b13789179..0000000000 --- a/docs/index.rst +++ /dev/null @@ -1 +0,0 @@ -