diff --git a/documentation/development/README b/documentation/development/README_DEVEL
similarity index 100%
rename from documentation/development/README
rename to documentation/development/README_DEVEL