diff --git a/tools/_INDEX.md b/tools/INDEX.md
similarity index 100%
rename from tools/_INDEX.md
rename to tools/INDEX.md