update in helena

[helm.git] / helm / software / helena / Make

diff --git a/helm/software/helena/Make b/helm/software/helena/Make
index 058236bd877877ee12c3987696a23eb39cdbc1b6..aa92833bccbfbed65b551cca945849687eac71bd 100644 (file)
--- a/helm/software/helena/Make
+++ b/helm/software/helena/Make
@@ -1,4 +1,3 @@
-.depend.opt
 Make* 
 README 
 examples/automath/*.aut 
@@ -7,5 +6,4 @@ scripts/coq/*.v
 scripts/coq/*.template
 scripts/lp/*.template
 src/*.ml
-src/Make*
 src/*/*