move the user manual one layer higher, so that all manuals are merged back

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 99e7567..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
@@ -245,7 +238,7 @@ examples/msg/pmm/msg_pmm
 examples/smpi/toto.txt
 examples/smpi/MM/MM_mpi
 examples/smpi/smpi_replay
-examples/smpi/replay
+examples/smpi/replay/one_trace
 examples/smpi/bcbench
 examples/smpi/first
 examples/smpi/mvmul