these files are not generated anymore

diff --git a/.gitignore b/.gitignore
index 11a7c31..1b8856c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -102,13 +102,6 @@ doc/dev_guide/html
 doc/dev_guide/latex
 doc/index.php
 doc/simgrid.tag
-doc/publis_core.bib
-doc/publis_core_bib.html
-doc/publis_count.html
-doc/publis_extern.bib
-doc/publis_extern_bib.html
-doc/publis_intra.bib
-doc/publis_intra_bib.html
 doc/ref_guide/doxygen/RefGuideDoxyfile
 doc/user_guide/doxygen/UserGuideDoxyfile
 doc/dev_guide/doxygen/DevGuideDoxyfile