X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=.gitignore;h=83073d3fcda2f7364a44c178ae4981b80eeb5574;hb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc;hp=e7228e3ba6538d1b96b59a22207bd2b05f9b4968;hpb=db020b4218272e2e35641ce3bc3b0a9b3afda899;p=helm.git

diff --git a/.gitignore b/.gitignore
index e7228e3ba..83073d3fc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,6 +45,10 @@ helm/www/lambdadelta/html
 helm/www/lambdadelta/etc/BTM
 helm/www/lambdadelta/etc/lambdadelta
 helm/www/lambdadelta/etc/coq-contribs
+helm/www/lambdadelta/etc/make_html.sh
+helm/www/lambdadelta/web/lddl
+helm/www/lambdadelta/xml/Environment
+helm/www/lambdadelta/xml/index.txt
 helm/www/lambdadelta/xslt/apps_2_src.xsl
 helm/www/lambdadelta/xslt/apps_2_sum.xsl
 helm/www/lambdadelta/xslt/basic_2_blk.xsl
@@ -74,7 +78,8 @@ matita/matita/contribs/lambdadelta/.depend
 matita/matita/contribs/lambdadelta/nodes
 matita/matita/contribs/lambdadelta/token
 matita/matita/contribs/lambdadelta/2A
-matita/matita/contribs/lambdadelta/*/*_probe.txt
+matita/matita/contribs/lambdadelta/*/probe.txt
+matita/matita/contribs/lambdadelta/*/deps.txt
 matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
 
 matita/matita/contribs/convergence/