diff options
Diffstat (limited to 'tools/indent1')
-rwxr-xr-x | tools/indent1 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/indent1 b/tools/indent1 new file mode 100755 index 0000000..b382986 --- /dev/null +++ b/tools/indent1 @@ -0,0 +1,7 @@ +#!/bin/sh +# This script indents one file. +# See do-indent for details. +cp $1 .indent1.tmp +./wintounix .indent1.tmp > $1 +rm .indent1.tmp +indent -kr $1 |