Makefile.xemacs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

##
## 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
##