include ../../Makefile-generic

ACL2 = ../../../saved_acl2

german.cert: german.lisp
# german.cert: $(ACL2_SYSTEM_BOOKS)/misc/records.cert


