#!/usr/bin/env bash
#
# Add the $Id: $ construct to a C file. For simplicity it is simply appended.
#
echo "/* \$Id: \$ */" >> $1
