From 05aa486c1c13058e1fed1e7d1c28836bdfec12f3 Mon Sep 17 00:00:00 2001 From: Florian Festi Date: Tue, 11 Sep 2018 17:55:17 +0200 Subject: [PATCH] Rename to CONTRIBUTING.rst to make GitHub happy Add missing file --- CONTRIBUTE.rst => CONTRIBUTING.rst | 0 documentation/src/CONTRIBUTING.rst | 1 + documentation/src/index.rst | 2 +- 3 files changed, 2 insertions(+), 1 deletion(-) rename CONTRIBUTE.rst => CONTRIBUTING.rst (100%) create mode 100644 documentation/src/CONTRIBUTING.rst diff --git a/CONTRIBUTE.rst b/CONTRIBUTING.rst similarity index 100% rename from CONTRIBUTE.rst rename to CONTRIBUTING.rst diff --git a/documentation/src/CONTRIBUTING.rst b/documentation/src/CONTRIBUTING.rst new file mode 100644 index 0000000..ac7b6bc --- /dev/null +++ b/documentation/src/CONTRIBUTING.rst @@ -0,0 +1 @@ +.. include:: ../../CONTRIBUTING.rst diff --git a/documentation/src/index.rst b/documentation/src/index.rst index 46ea44e..b2eeb4e 100644 --- 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