include $(ACL2_SYSTEM_BOOKS)/Makefile-generic
-include Makefile-deps
