Distclean the generated mit-scheme-pucked.info.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index cf427f803b920856b4b6ac523b1a2f68ca419558..6949f8493073d71e22b2225a885be3794549cf39 100644 (file)
--- 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 \