##
## Makefile for Proof General XEmacs package.
## 
## Author:  David Aspinall <da@dcs.ed.ac.uk>
##
## $Id$
##