Rename to CONTRIBUTING.rst to make GitHub happy

Add missing file
2018-09-11 17:55:17 +02:00 · 2018-09-11 17:55:17 +02:00 · 05aa486c1c
parent ef30589f8f
commit 05aa486c1c
3 changed files with 2 additions and 1 deletions
--- a/CONTRIBUTING.rst
+++ b/CONTRIBUTING.rst
--- a/documentation/src/CONTRIBUTING.rst
+++ b/documentation/src/CONTRIBUTING.rst
@ -0,0 +1 @@
+.. include:: ../../CONTRIBUTING.rst
--- a/documentation/src/index.rst
+++ b/documentation/src/index.rst
@ -14,7 +14,7 @@ Contents:
   README
   install
   usermanual
-   CONTRIBUTE.rst
+   CONTRIBUTING.rst
   apiintro
   Boxes
   edges