include ../../Makefile-generic
BOOKS = acl2-count basic memberp \
        repeat map-cons \
        nth-and-update-nth \
	list-top update-nth-array mixed \
	nth-meta nth-meta2 find-index \
	subsetp remove set remove-induction disjoint \
	listset-induction \
	mv-nth
-include Makefile-deps
