1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.xemacs b/Makefile.xemacs
new file mode 100644
index 00000000..6d39a7b8
--- /dev/null
+++ b/Makefile.xemacs
@@ -0,0 +1,8 @@
+##
+## Makefile for Proof General XEmacs package.
+## 
+## Author:  David Aspinall <da@dcs.ed.ac.uk>
+##
+## $Id$
+##
+