Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
1234567891011121314151617181920212223
TUTOS:= \ tuto0 \ tuto1 \ tuto2 \ tuto3 \ tuto4
all: $(TUTOS)
.PHONY: $(TUTOS) all
$(TUTOS): %: +$(MAKE) -C $@
CLEANS:=$(addsuffix -clean, $(TUTOS)).PHONY: clean $(CLEANS)
clean: $(CLEANS)
%-clean: +$(MAKE) -C $* clean