1 2 3 4 5 6 7 8
## ## Makefile for Proof General XEmacs package. ## ## Author: David Aspinall <da@dcs.ed.ac.uk> ## ## $Id$ ##