empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix make clean to remove info.ps

Browse source 
Missed in commit 9067d7a4.
This commit is contained in:
Markus Armbruster 2010-08-15 11:18:31 +02:00
parent 217fe6dd16
commit 37589489c6
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Make.mk
View file

@ -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):