diff --git a/src/tools/PGINDENT b/src/PGINDENT
similarity index 100%
rename from src/tools/PGINDENT
rename to src/PGINDENT