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