diff --git a/boom/Makefile b/boom/Makefile index a5805f2..a1fe765 100644 --- a/boom/Makefile +++ b/boom/Makefile @@ -6,13 +6,20 @@ INV = $(shell ./boom-config inv) DSC = $(shell ./boom-config dsc) CHR = $(shell ./boom-config chr) +DIRS = $(DIST:%=dist/%) $(MANU:%=manu/%) + DB = $(EQU) $(INV) $(DSC) $(CHR) -.PHONY: all spotless tar count +.PHONY: all db spotless tar count $(DIRS) all: boom-config +db: boom-config $(DIRS) + +$(DIRS): + $(MAKE) -C $@ + boom-config: boom-config.in Makefile sed -e 's/##WARN##/*** MACHINE-GENERATED. DO NOT EDIT ! ***/' \ -e 's/##DIST##/$(DIST)/;s/##MANU##/$(MANU)/' boom-config.in \