diff options
-rw-r--r-- | support/make/verbfilter.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/make/verbfilter.mk b/support/make/verbfilter.mk index abd1a40b4b..46c304690c 100644 --- a/support/make/verbfilter.mk +++ b/support/make/verbfilter.mk @@ -6,6 +6,7 @@ ############################################################################## # Usage # +# make verbfilter[.clean|.distclean] # make [VERBFILTER=<verbfilter-basename>] <*.tex> # ############################################################################## @@ -38,10 +39,13 @@ JAVAC ?= javac # Commands all : verbfilter +clean : verbfilter.clean distclean : verbfilter.distclean verbfilter : $(patsubst %.verb.tex,%.tex,$(wildcard *.verb.tex)) +verbfilter.clean : + verbfilter.distclean : @for file in *.verb.tex; do \ [ "$$file" = "*.verb.tex" ] || ( \ @@ -50,6 +54,8 @@ verbfilter.distclean : done $(RM) $(VERBFILTER:%=%.class) +.PHONY : verbfilter +.PHONY : verbfilter.clean .PHONY : verbfilter.distclean ############################################################################## |