Tabs in comments fix.

diff --git a/src/PGINDENT b/src/PGINDENT
index 522845c10eb88d527b3f86e69816d43622f03185..2ca0fcf023488c34b1b33a4dc14c86298c0dae34 100644 (file)
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -16,9 +16,11 @@ for FILE
 do
    cat $FILE |
    sed 's;/\*  *---;/*---X_X;g' |
+   detab -t4 |
    indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
        -lp -nip -nbc -psl -di1 -i4 -l75 -st |
    detab -t8 |
    entab -qc -t4 |
    sed 's;/\*---X_X;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE
 done
+