From aa72aa5bfd865202e4116cc216c653ad77c3ee03 Mon Sep 17 00:00:00 2001 From: "H. Peter Anvin" Date: Fri, 13 Sep 2002 00:23:29 +0000 Subject: [PATCH] Clean doc directory when making "make dist" --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index a4d3336f..ee202941 100644 --- a/Makefile.in +++ b/Makefile.in @@ -131,6 +131,7 @@ distclean: clean rm -f output/*~ output/*.bak rm -f test/*.lst test/*.bin test/*.$(O) test/*.bin rm -rf autom4te*.cache + rm -f doc/Makefile doc/*~ doc/*.bak cd rdoff && $(MAKE) distclean cleaner: clean -- 2.11.4.GIT