gtk/Makefile.in (clean): Cleanup formatted documentation.

diff --git a/src/gtk/Makefile.in b/src/gtk/Makefile.in
index fa5e734163cd8009cfabf8bc03638cc411b487ee..4df7a3c130b12c62003063ee3ccc8a45b62b99aa 100644 (file)
--- a/src/gtk/Makefile.in
+++ b/src/gtk/Makefile.in
@@ -62,6 +62,7 @@ clean:
        rm -f gtk-const.scm gtk-const gtk-const.c gtk-shim.c
        rm -f gtk-*.crf gtk-*.fre gtk-*.pkd
        rm -f *.o *.so *.bin *.ext *.com *.bci *.moc *.fni
+       rm -f mit-scheme-gtk.html mit-scheme-gtk.info
 
 distclean: clean
        rm -f Makefile config.h config.log config.status