#!/bin/sh
#
# This script print a "nice" date for a file. Just call it with the name
# if the file as parameter.
#

if [ -e $1 ]; then
    /bin/ls -le $1 | \
    gawk ' { \
	print $8". "$7" "$10;          \
    }'
else
    echo "***"
fi
