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