diff options
| -rw-r--r-- | Makefile.xemacs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Makefile.xemacs b/Makefile.xemacs deleted file mode 100644 index 04d34381..00000000 --- a/Makefile.xemacs +++ /dev/null @@ -1,14 +0,0 @@ -## -## Makefile for Proof General XEmacs package. -## -## 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 -## - |