endif
$(H)touch depend-stamp
-clean: $(foreach d,$(SUBDIRS),rec@clean@$(d))
-distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d))
+clean:
+ $(H)make $(foreach d,$(SUBDIRS),rec@clean@$(d)) || true
+distclean:
+ $(H)make $(foreach d,$(SUBDIRS),rec@distclean@$(d)) || true
$(H)rm -rf .matita library-stamp depend-stamp
install-indep: $(foreach d,$(SUBDIRS),rec@install-indep@$(d))
install-arch: $(foreach d,$(SUBDIRS),rec@install-arch@$(d))