#!/usr/bin/gawk -f
#
# 1999-01-27: original version from 1994. changed today to fix time formatting.
#             decided to ignore ARGV[1] filename, just use 'date'
# 1999-05-25: MASTERHOST now at CDS
# 2001-07-14: added a <BR> to the output
#
END	{
    printf("This page was re-computed ");
### "/bin/ls -l --full-time " ARGV[1] | getline;
    "/bin/date --utc" | getline;
    printf("at %s UTC on %s %s", $4, $2, $3);
    printf (".<BR>\n");
    printf ("Please use the <A HREF=\"http://simbad.u-strasbg.fr/astroweb/astroweb-cvs.html\">");
    printf("<I>Edit Astroweb Database</I> form</A> to request an \
addition or change to the database.\n");
}