model-checker : try first to associate each block or fragment with the same positiion...

[simgrid.git] / doc / dev_guide / doxygen / index.doc

diff --git a/doc/dev_guide/doxygen/index.doc b/doc/dev_guide/doxygen/index.doc
index fe5f938..6ad77e3 100644 (file)
--- a/doc/dev_guide/doxygen/index.doc
+++ b/doc/dev_guide/doxygen/index.doc
@@ -1,5 +1,6 @@
 /*!
-@mainpage SimGrid Developer Guide - Welcome
+@mainpage SimGrid Developer Guide
+
 <center>
 \htmlonly
 <table width="100%">
@@ -20,7 +21,7 @@ Welcome to the SimGrid developer guide.
 
 <br>
 The SimGrid software package can be downloaded from
-<a href="http://simgrid.gforge.inria.fr/download.php">here</a>.<br>
+<a href="http://simgrid.gforge.inria.fr/download.html">here</a>.<br>
 
 If you are interested in the history of SimGrid and in current and planned development,
 you can find out more <a href="http://simgrid.gforge.inria.fr/history.html">here</a>.