From 37589489c62c5fa586464b93982dfa8a0558af7a Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sun, 15 Aug 2010 11:18:31 +0200 Subject: [PATCH] Fix make clean to remove info.ps Missed in commit 9067d7a4. --- Make.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Make.mk b/Make.mk index c79ec3aaa..5c29eb6fc 100644 --- a/Make.mk +++ b/Make.mk @@ -131,6 +131,7 @@ ttop := info/TOP.t # Formatted info: info.nr := $(addprefix info.nr/, $(info)) info.html := $(addprefix info.html/, $(addsuffix .html, $(info))) +info.all := $(info.nr) $(info.html) info.ps # Conditionally generated files: empth_obj := src/lib/empthread/io.o @@ -155,7 +156,7 @@ endif # Each generated file should be in one of the following sets. # Removed by clean: clean := $(obj) $(deps) $(libs) $(util) $(client) $(server) $(tsubj) \ -$(ttop) $(info.nr) $(info.html) $(empth_obj) $(empth_lib) +$(ttop) $(info.all) $(empth_obj) $(empth_lib) # Removed by distclean: distclean := $(ac) $(mk) # Distributed by dist-source from $(srcdir): -- 2.43.0