include ../Makefile-generic

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

-include Makefile-deps

