From 6d06073ac1917748f13739d430202064407b00d5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 1 Oct 1998 17:43:13 +0000
Subject: Updated maintainer tags to remove lego email address.

---
 doc/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index aeeadacb..e1e11be4 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,6 +3,8 @@
 ##
 ## Author:  David Aspinall <da@dcs.ed.ac.uk>
 ##
+## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+##
 ## $Id$
 ## 
 ###########################################################################
-- 
cgit v1.2.3