]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
- common/entity: new format for kernel entities
[helm.git] / helm / software / lambda-delta / Makefile.common
index 3649a8b07da9ab9d07da8da2c9ef19dbaa30e049..cd871301580b2d78cc5659878ef6eef1c66e9772 100644 (file)
@@ -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))