include ../../Makefile-generic
# ACL2 = ../../saved_acl2
