diff --git a/compatMakefile b/compatMakefile
index 9ee55b1b..188fb300 100644
--- a/compatMakefile
+++ b/compatMakefile
@@ -249,6 +249,7 @@ distclean: clean glob-realclean
 	-rm -f make.?? make.??s make.log make.toc make.*aux
 	-rm -f loadavg.c
 realclean: distclean
+	-rm -f make.info*
 mostlyclean: clean
 
 .PHONY: glob-clean glob-realclean