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