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