METAS removed + matita.conf.xml committed

[helm.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 4810a4e5a3dfa6e8dafe84df416f9e1a091ff306..05efd6e7a559c17b69876a007ce1b5526fb675ff 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -13,18 +13,12 @@ _build
 *.native
 *.byte
 
-matita/Makefile.defs
-matita/autom4te.cache
-matita/components/METAS/META*
-matita/config.log
-matita/configure
-
 matita/components/extlib/componentsConf.ml
-matita/matita/matitaGeneratedGui.ml
-matita/matita/matita.conf.xml
 matita/matita/matita.glade.utf8
-matita/depend-stamp
-matita/config.status
+
+matita/matita/help/C/pdf-stamp
+matita/matita/help/C/html-stamp
+matita/matita/help/C/quickref-stamp
 
 matita/matita/matita
 matita/matita/matita.opt