Make this part automatically generated.

And avoid to give a direct link to the archive, since it's too error prone.

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 7b4be67..b399a5c 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -196,7 +196,7 @@ TAB_SIZE               = 8
 # will result in a user-defined paragraph with heading "Side Effects:".
 # You can put \n's in the value part of an alias to insert newlines.
 
 # will result in a user-defined paragraph with heading "Side Effects:".
 # You can put \n's in the value part of an alias to insert newlines.
 

-ALIASES                =
+ALIASES                = SimGridRelease="SimGrid-@release_version@"

 
 # This tag can be used to specify a number of word-keyword mappings (TCL only).
 # A mapping has the form "name=value". For example adding
 
 # This tag can be used to specify a number of word-keyword mappings (TCL only).
 # A mapping has the form "name=value". For example adding

diff --git a/doc/doxygen/install.doc b/doc/doxygen/install.doc
index 1ddc77f..e48785c 100644 (file)
--- a/doc/doxygen/install.doc
+++ b/doc/doxygen/install.doc
@@ -12,16 +12,17 @@ disk and you're set.
 
 Recompiling an official archive is not much more complex, actually.
 SimGrid has very few dependencies and rely only on very standard
 
 Recompiling an official archive is not much more complex, actually.
 SimGrid has very few dependencies and rely only on very standard

-tools. Recompiling the archive should be done in a few lines:
+tools.  First, download the *@SimGridRelease.tar.gz* archive
+from [the download page](https://gforge.inria.fr/frs/?group_id=12).
+Then, recompiling the archive should be done in a few lines:

 
 

-@verbatim
-wget https://gforge.inria.fr/frs/download.php/32047/SimGrid-3.9.tar.gz
-tar xf SimGrid-3.9.tar.gz
-cd SimGrid-3.9
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~{.sh}
+tar xf @SimGridRelease.tar.gz
+cd @SimGridRelease

 cmake -DCMAKE_INSTALL_PREFIX=/opt/simgrid .
 make
 make install
 cmake -DCMAKE_INSTALL_PREFIX=/opt/simgrid .
 make
 make install

-@endverbatim
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

 
 If you want to stay on the bleeding edge, you should get the latest
 git version, and recompile it as you would do for an official archive.
 
 If you want to stay on the bleeding edge, you should get the latest
 git version, and recompile it as you would do for an official archive.