From d815f1c77016a50a58260188283918c7aec958ae Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 23 Jul 2013 14:19:47 +0200 Subject: [PATCH] Fixed "make clean" for manual files --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 78d6a8cc4..4384de5fe 100644 --- a/Makefile +++ b/Makefile @@ -106,7 +106,7 @@ manual: clean: rm -f $(OBJS) $(GENFILES) $(TARGETS) rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d - cd manual && rm *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc + cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean mrproper: clean -- 2.30.2