[plug] add date to file

[James Devenish]

In message <pan.2003.04.19.12.25.00.970768 at Malcolm.id.au>
on Sat, Apr 19, 2003 at 08:25:02PM +0800, Jeremy Malcolm wrote:
> Or a better way to do it is to stick your file into CVS and commit it.  If
> you have a string in the file that says "$Id: $" (can be inside a comment)
> then CVS will keep it up to date with the date and time and CVS version.

Although CVS has many advantages over RCS, RCS is simpler if
you just want to do this with a couple of individual files.