#!/bin/bash
FILENAME="tmp/whatwg"
if ! [ -e "$FILENAME" ]; then
 echo 'what?'
 exit -1
fi
FILESIZE=$(stat -c%s "$FILENAME")
FILEDATE=$(stat -c%y "$FILENAME")
echo -e "whatwg HTML specification -- $FILESIZE bytes strong! (as of $FILEDATE)"
exit 0