]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/Makefile
update in basic_2 and apps_2
[helm.git] / helm / www / lambdadelta / bin / xhtbl / Makefile
index c9bea1a53ea1a862f7b705ca42197ed1b58b3e20..e1b330db9edebac773ca5b4e9ebc22a5acd1a69a 100644 (file)
@@ -5,7 +5,7 @@ REQUIRES = str
 
 YACCFLAGS = -v
 
-include Makefile.common
+include ../Makefile.common
 
 test:
        @$(MAKE) --no-print-directory -C ../../ www