From 29f8078bbd7908fe5d9aff0bfe5fd10aa0e1a1cc Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Tue, 12 Jun 2018 16:37:47 -0700 Subject: [PATCH] Distclean the generated mit-scheme-pucked.info. --- doc/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile.in b/doc/Makefile.in index cf427f803..6949f8493 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -71,7 +71,7 @@ INST_TARGETS = @INST_TARGETS@ INSTALL_INFO_PROG = @INSTALL_INFO_PROG@ SUBDIRS = ffi ref-manual sos user-manual -DISTCLEAN_FILES = Makefile make-common config.log config.status +DISTCLEAN_FILES = Makefile make-common config.log config.status $(PROJECT).info all: @for D in $(SUBDIRS); do \ -- 2.25.1