diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 17:43:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 17:43:03 +0000 |
commit | 4d44ce2f31c99d585681d811b0a60a7ab43fe419 (patch) | |
tree | b76223c458bd2b16def90d4d2ec33c68bde21750 /Makefile.xemacs | |
parent | 6e0b09b77d2cf85d2cd3b8e04f7f74737b7071e5 (diff) |
Comments, still nothing here.
Diffstat (limited to 'Makefile.xemacs')
-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 +## |