diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 13:53:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 13:53:28 +0000 |
commit | 5291b13b16c31f91c6cfb740a7fe4d5819bd85cf (patch) | |
tree | d72624bbc08d4286d19bc8d09798bd1339abeb19 /Makefile.xemacs | |
parent | fc16609ad30f905123630f95af77d7212f41557c (diff) |
New file for XEmacs package building (unfinished)
Diffstat (limited to 'Makefile.xemacs')
-rw-r--r-- | Makefile.xemacs | 8 |
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$ +## + |