# include ../../../../Makefile-generic
include /projects/acl2/devel/books/Makefile-generic
-include Makefile-deps
