include ../Makefile-generic

-include Makefile-deps


acl2-grep: grep-command-line.cert
	@$(ACL2) < make-acl2-grep.lsp
