diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-12 09:33:22 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-12 09:33:22 +0000 |
| commit | 453461f798b106d4860cc51d76de1578abf5fe1d (patch) | |
| tree | 704d65eb5a657ea1d8beb9dcd55c799a8cbd08d7 /support | |
| parent | 7a553aba4c8d80e9d2063388c5b840285e4eb19d (diff) | |
| download | scala-453461f798b106d4860cc51d76de1578abf5fe1d.tar.gz scala-453461f798b106d4860cc51d76de1578abf5fe1d.tar.bz2 scala-453461f798b106d4860cc51d76de1578abf5fe1d.zip | |
- Added rule "verbfilter.clean"
- Updated usage comment
Diffstat (limited to 'support')
| -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 ############################################################################## |