Remove option model-checker/hash; This is always activated now.

[simgrid.git] / docs / source / index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index d29d04e..023bb91 100644 (file)
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -4,8 +4,8 @@ The Modern Age of Computer Systems Simulation
 =============================================
 
 SimGrid is a framework to simulate distributed computer systems. It can be used
-to either `assess abstract algorithms <usecase_simalgo>`_, or to `debug and
-profile real MPI applications <usecase_smpi>`_.
+to either :ref:`assess abstract algorithms <usecase_simalgo>`, or to
+:ref:`debug and profile real MPI applications <usecase_smpi>`.
 
 SimGrid is routinely used in studies on (data-)Grids,
 IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
@@ -79,6 +79,7 @@ of every page. Bugs in the code should be reported
          XML Reference <XML_Reference.rst>
       Describing the Experimental Setup <Experimental_Setup.rst>
          Configuring SimGrid <Configuring_SimGrid.rst>
+         Deploying your Application <Deploying_your_Application.rst>
       The SimGrid Models <models.rst>
          ns-3 as a SimGrid model <ns3.rst>
       Simulation Outcomes <outcomes.rst>