Add ignored files for documentation.

diff --git a/.gitignore b/.gitignore
index c9a714f..954df21 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -91,6 +91,11 @@ doc/Doxyfile
 doc/footer.html\r
 *.doc.toc\r
 doc/latex/\r
+doc/html\r
+doc/index-API.doc\r
+doc/index.php\r
+doc/simgrid.tag\r
+doc/simgrid_modules.map\r
 \r
 ################################################\r
 ### Specific of project \r