Rev 4 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
# /usr/bin/bash
# Attempt to make the source pretty
#
if [ ! -r $1 ] ; then
echo "File not found: $1"
exit 1