From acc856872ff17ac8a34bc6b7a93ffce371b77b61 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 5 Dec 2012 23:12:10 +0100 Subject: [PATCH] these files are not generated anymore --- .gitignore | 7 ------- 1 file changed, 7 deletions(-) diff --git a/.gitignore b/.gitignore index 11a7c31f44..1b8856c339 100644 --- 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 -- 2.20.1