diff --git a/doc/DEVGUIDE.md b/doc/developer-guide.md
similarity index 100%
rename from doc/DEVGUIDE.md
rename to doc/developer-guide.md
diff --git a/doc/MANUAL.md b/doc/manual.md
similarity index 100%
rename from doc/MANUAL.md
rename to doc/manual.md