diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README index c3ef00ad1fce33d8961a846018cb05ee0a12290b..ec8f96bb16eac314e65a366b4e439c772798e165 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