diff --git a/HISTORY b/HISTORY.txt
similarity index 100%
rename from HISTORY
rename to HISTORY.txt
diff --git a/RELEASE b/RELEASE.txt
similarity index 100%
rename from RELEASE
rename to RELEASE.txt