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