diff options
| -rw-r--r-- | Makefile.xemacs | 6 |
1 files changed, 6 insertions, 0 deletions
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 +## |