diff --git a/doc/indent.pro b/tools/indent.pro
similarity index 100%
rename from doc/indent.pro
rename to tools/indent.pro