This script goes through a list of Web pages to change the "Last updated ..." string to the date the file was last modified. Run this script in UNIX after updating any html files. Any line beginning with $tag will be replaced with $update unless equal. Nothing will change if the $tag line matches the current file date.