X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=cd871301580b2d78cc5659878ef6eef1c66e9772;hb=34c2ba63c8eb5fccfd9a1fb8ac1df5895c8b58b3;hp=3649a8b07da9ab9d07da8da2c9ef19dbaa30e049;hpb=d5f1d21626a9df44030854abe3b96bb71c6348af;p=helm.git diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common index 3649a8b07..cd8713015 100644 --- a/helm/software/lambda-delta/Makefile.common +++ b/helm/software/lambda-delta/Makefile.common @@ -13,7 +13,7 @@ OCAMLLEX = ocamllex.opt OCAMLYACC = ocamlyacc -v XMLLINT = xmllint --noout XSLT = xsltproc -TAR = tar -czf $(MAIN:%=%.tgz) +TAR = tar -czf etc/$(MAIN:%=%.tgz) define DIR_TEMPLATE MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))