Convert some insider doc to sphinx, and remove obsolete bits from doxygen sources

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 8c29755..6f53812 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -76,7 +76,6 @@ doc/overview-summary.html
 doc/overview-tree.html
 doc/resources/
 doc/serialized-form.html
-doc/stylesheet.css
 doc/all_bib.html
 doc/logcategories.sh
 doc/realtoc.sh