include ~/acl2-books/Makefile-generic
-include Makefile-deps