# HG changeset patch
# User kleing
# Date 948120697 -3600
# Node ID ba1498046ee66989e0186931bdbb418afa14ff1a
# Parent  b93992e26c6a513ffb749019625b59c16a5deab5
Id line inserted

diff -r b93992e26c6a -r ba1498046ee6 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