From 5291b13b16c31f91c6cfb740a7fe4d5819bd85cf Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 17 Nov 1999 13:53:28 +0000 Subject: New file for XEmacs package building (unfinished) --- Makefile.xemacs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Makefile.xemacs 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 +## +## $Id$ +## + -- cgit v1.2.3