diff options
| -rw-r--r-- | src/tools/pgindent/README | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README index c3ef00ad1fc..ec8f96bb16e 100644 --- a/src/tools/pgindent/README +++ b/src/tools/pgindent/README @@ -35,4 +35,5 @@ directory. Merge the output of these and remove duplicates. For java, we use astyle, http://astyle.sourceforge.net/, with the following options: - find . -name '*.java' -type f -print | xargs -n100 pgjindent + find . \( -name '*.java' -o -name '*.java.in' \) -print | + xargs -n100 pgjindent |