#! /bin/sh

echo "-- Editor invocation:" $*
echo "-- Input file: "
cat $1
echo "-- Input file end"
echo "Seen by mhed" >> $1
exit 0
