From 4d44ce2f31c99d585681d811b0a60a7ab43fe419 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2000 17:43:03 +0000
Subject: Comments, still nothing here.

---
 Makefile.xemacs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile.xemacs b/Makefile.xemacs
index 6d39a7b8..04d34381 100644
--- a/Makefile.xemacs
+++ b/Makefile.xemacs
@@ -3,6 +3,12 @@
 ## 
 ## Author:  David Aspinall <da@dcs.ed.ac.uk>
 ##
+## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+##
 ## $Id$
 ##
+## Developer use only, not part of distribution.
+##
+##   make pkg	- Make XEmacs format package of Proof General
+## 
 
-- 
cgit v1.2.3