model-checker : get segments start only in MC_init_memory_map_info

[simgrid.git] / doc / index.doc

diff --git a/doc/index.doc b/doc/index.doc
index c1fe91d99c57df0c52964896da6085a794ec3922..36d553ead427ac5bda1558e2e103f4e68c4d816d 100644 (file)
--- a/doc/index.doc
+++ b/doc/index.doc
@@ -26,7 +26,7 @@ Other information sources:
   - The Frequently Asked Questions are <a href="http://simgrid.gforge.inria.fr/faq.html">here</a>.
   - The development webpage is <a href="https://gforge.inria.fr/projects/simgrid//">gforge.inria.fr/projects/simgrid</a>.
   - The user mailing list is <simgrid-user@lists.gforge.inria.fr>
-  - The SimGrid software package can be downloaded from <a href="http://simgrid.gforge.inria.fr/download.php">here</a>.
+  - The SimGrid software package can be downloaded from <a href="http://simgrid.gforge.inria.fr/download.html">here</a>.
 
 \htmlonly
 <center>