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