transcript: we improved the parser/lexer to read the scripts of the standard

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

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 054337b5cf1395de0350f56d74eddd335952d6f3..e62fb5dfcec5d5a6879ec66279cacb9105e2893a 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -1,10 +1,10 @@
 MAIN = helena
 
-DIRECTORIES = automath toplevel
+DIRECTORIES = cps automath toplevel
 
 REQUIRES =
 
-KEEP = automath/*.aut
+KEEP = README automath/*.aut
 
 CLEAN = log.txt