Admin/page/Makefile

--- a/Admin/page/Makefile	Mon Jan 17 15:49:55 2000 +0100
+++ b/Admin/page/Makefile	Mon Jan 17 15:51:37 2000 +0100
@@ -1,5 +1,8 @@
 # --- uses $DISTNAME environment variable 
 
+# -- makefile for Isabelle web pages (dist and main)
+# -- $Id$
+
 # --- perl scripts used in this makefile
 
 GENPAGE   = bin/genpage