### Makefile for LP/axioms

RM	= /bin/rm -f

.SILENT:

all:

tidy:
	${RM} *.old *.ckp *.bak *~ \#*\# .*.old .*.ckp .*.bak .*~ core       \
	      *.lplog *.lpfrz *.lplog

clean: tidy