--- a/Admin/page/bin/mkcontents Thu Dec 09 11:34:32 1999 +0100
+++ b/Admin/page/bin/mkcontents Thu Dec 09 11:40:00 1999 +0100
@@ -1,6 +1,9 @@
#!/usr/bin/perl
# mkcontents.pl
+#
+# $ID$
+#
# simple script to create a html version of the Contents file in the
# Isabelle documentation directory.
#