+ifeq ($(MAKECMDGOALS), tbls)
+ $(foreach PKG, $(PACKAGES), $(eval $(call SUMMARY_TEMPLATE,$(PKG))))
+endif
+
+tbls: $(SUMS)
+
+# odeps ######################################################################
+
+odeps: $(PACKAGES:%=%/deps.txt)
+
+# trim #######################################################################
+
+TRIMS := $(MAS) $(TBLS) $(LDWS)
+
+%.trimmed: %
+ $(H)expand $< | $(TRIM) > $@
+ $(H)if diff $< $@ > /dev/null; then $(RM) $@; else echo " TRIM $<" & mv $@ $<; fi
+
+trim: $(TRIMS:%=%.trimmed)
+
+# package ground #############################################################
+
+pack-ground: PKG = lambdadelta_ground
+
+pack-ground: DIRS = ground
+
+pack-ground: PMAS = $(shell find $(DIRS) -name *.ma)
+
+pack-ground:
+ @echo " TAR -cjf $(PKG).tar.bz2 root $(DIRS)"
+ $(H)tar -cjf $(PKG).tar.bz2 ../lambdadelta/root $(PMAS:%=../lambdadelta/%)
+
+# package 2A ###################################################################
+
+pack-2a: PKG = lambdadelta_2A
+
+pack-2a: DIRS = basic_2A
+
+pack-2a: PMAS = $(shell find $(DIRS) -name *.ma)
+
+pack-2a:
+ @echo " TAR -cjf $(PKG).tar.bz2 $(DIRS)"
+ $(H)tar -cjf $(PKG).tar.bz2 $(PMAS:%=../lambdadelta/%)
+
+# package 2B ###################################################################
+
+pack-2b: PKG = lambdadelta_2B
+
+pack-2b: DIRS = static_2 basic_2
+
+pack-2b: PMAS = $(shell find $(DIRS) -name *.ma)
+
+pack-2b:
+ @echo " TAR -cjf $(PKG).tar.bz2 $(DIRS)"
+ $(H)tar -cjf $(PKG).tar.bz2 $(PMAS:%=../lambdadelta/%)
+
+# clean ######################################################################
+
+clean:
+ $(H)$(RM) `find -name "*~" -type f -print`
+
+# www ######################################################################
+
+home:
+ $(H)$(MAKE) --no-print-directory -C $(WWW) home
+
+# www ######################################################################
+
+up-home:
+ $(H)$(MAKE) --no-print-directory -C $(WWW) up-home
+
+##############################################################################
+
+.PHONY: $(TAGS)