new kernel basic_ag (with absolute local references)

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 2be69cba36e24a75005a2b1c8cc807781c29410f..3b212fa941bdc8ed96d47d7c9d0e451c236f5308 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -1,7 +1,5 @@
 MAIN = helena
 
-DIRECTORIES = lib automath basic_rg toplevel
-
 REQUIRES = unix
 
 KEEP = README automath/*.aut