X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FMake;h=aa92833bccbfbed65b551cca945849687eac71bd;hp=058236bd877877ee12c3987696a23eb39cdbc1b6;hb=88977b2d546e547e23b046792fe2ad8f6ff192a4;hpb=fdb80b08af83b86759833142456ce3c4f84cd80e

diff --git a/helm/software/helena/Make b/helm/software/helena/Make
index 058236bd8..aa92833bc 100644
--- 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/*/*