diff --git a/src/tools/pgindent.dir/README b/src/tools/pgindent/README similarity index 100% rename from src/tools/pgindent.dir/README rename to src/tools/pgindent/README diff --git a/src/tools/pgindent.dir/indent.bsd.patch b/src/tools/pgindent/indent.bsd.patch similarity index 100% rename from src/tools/pgindent.dir/indent.bsd.patch rename to src/tools/pgindent/indent.bsd.patch diff --git a/src/tools/pgindent.dir/pgindent b/src/tools/pgindent/pgindent old mode 100644 new mode 100755 similarity index 100% rename from src/tools/pgindent.dir/pgindent rename to src/tools/pgindent/pgindent