diff options
| author | Bruce Momjian | 1997-08-29 21:20:09 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-08-29 21:20:09 +0000 |
| commit | 0aea0f206363f2a8a5284c1173bc2db30804598f (patch) | |
| tree | f78e90fb9d8d4d95263ed5f194b978f6efc3530b /src/tools | |
| parent | fddc57bfcd09087f5b7cd27a07e731fd03397b2d (diff) | |
Cleanup.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/PGINDENT | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/tools/PGINDENT b/src/tools/PGINDENT deleted file mode 100644 index 2b0b72799a6..00000000000 --- a/src/tools/PGINDENT +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh -trap "rm -f /tmp/$$" 0 1 2 3 15 -entab </dev/null >/dev/null -if [ "$?" -ne 0 ] -then echo "Go to the src/tools/entab directory and do a 'make' and 'make install'." >&2 - echo "This will put the 'entab' command in your path." >&2 - echo "Then run $0 again." - exit 1 -fi -indent -st </dev/null >/dev/null -if [ "$?" -ne 0 ] -then echo "You do not appear to have 'indent' installed on your system." >&2 - exit 1 -fi -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 | - detab -t8 | - entab -qc -t4 | - sed 's;/\*---;/* ---;g' >/tmp/$$ && cat /tmp/$$ >$FILE -done |