diff --git a/doc/DevelopersGuide.md.md b/doc/DevelopersGuide.md
similarity index 100%
rename from doc/DevelopersGuide.md.md
rename to doc/DevelopersGuide.md