indent flag change.
authorBruce Momjian
Fri, 29 Aug 1997 21:41:33 +0000 (21:41 +0000)
committerBruce Momjian
Fri, 29 Aug 1997 21:41:33 +0000 (21:41 +0000)
src/PGINDENT

index 2b0b72799a6a687c52c6c452e36d9fb1bc8a3e98..417b5923d334b87e6a232e36528cae7c529085f0 100644 (file)
@@ -16,8 +16,8 @@ for FILE
 do
    cat $FILE |
    sed 's;/\*  *---;/*---;g' |
-   indent -bad -bap -bbb -bc -bl -d0 -ncdb -nce -cli1 -di16 -nfc1 \
-       -lp -nip -nbc -psl -di1 -i4 -st |
+   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;/\*---;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE