1 155056f3 2006-07-23 alex #/bin/sh
 2 155056f3 2006-07-23 alex 
 3 155056f3 2006-07-23 alex INDENTARGS="-kr -i8 -ts8 -l80 -c3 -cd41 -ss -ncs -psl"
 4 155056f3 2006-07-23 alex 
 5 155056f3 2006-07-23 alex # check if indent(1) is available
 6 155056f3 2006-07-23 alex type indent >/dev/null 2>&1 && INDENT="indent"
 7 155056f3 2006-07-23 alex type gnuindent >/dev/null 2>&1 && INDENT="gnuindent"
 8 155056f3 2006-07-23 alex 
 9 155056f3 2006-07-23 alex if [ -z "$INDENT" ]; then
10 155056f3 2006-07-23 alex 	echo "Error: GNU \"indent\" not found!"
11 155056f3 2006-07-23 alex 	exit 1
12 155056f3 2006-07-23 alex fi
13 155056f3 2006-07-23 alex 
14 155056f3 2006-07-23 alex $INDENT -v $INDENTARGS $*
15 155056f3 2006-07-23 alex 
16 155056f3 2006-07-23 alex # -eof-