]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/bin/xhtbl/Makefile.common
refactoring ...
[helm.git] / helm / www / lambda_delta / bin / xhtbl / Makefile.common
index 63df6873def9a0035c2c221bf8a26e063360e87e..bf944971b2884bfd72ab2c7e53acb1e808e046b2 100644 (file)
@@ -1,6 +1,6 @@
 H=@
 
-include Makefile.defs
+include ../../etc/Makefile.defs
 
 DIST=$(EXEC)---$(VERSION)
 DATE=$(shell date +%y%m%d)