#! /bin/sh

echo "-- Editor invocation:" $*
echo "-- Input file: "
cat $1
echo "-- Input file end"
if [ "$1" = "-" ]; then
    echo "Seen by mhed"
else
    echo "Seen by mhed" >> $1
fi
exit 0
