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

BOOKS := $(filter-out acl2-customization,$(BOOKS))

-include Makefile-deps

