Improve usage message for pgindent.

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index dc9cff93e689e264440b6ee7beec21bb73aaceef..766a2ead8e297c90f4d3e2154c41a772a35ba8bd 100755 (executable)
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -9,7 +9,7 @@
 #      y = (int) x *y;
 
 if [ "$#" -lt 2 ]
-then   echo "Usage:  $0 typedefs file [...]" 1>&2
+then   echo "Usage:  `basename $0` typedefs file [...]" 1>&2
        exit 1
 fi