X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e3fec2a3365f64f544f1ae5d06312e39fc12c87e..63acbff6c85683040878057977846170db950ef2:/docs/source/intro_install.rst

diff --git a/docs/source/intro_install.rst b/docs/source/intro_install.rst
index 8ab57504d8..ea1761a860 100644
--- a/docs/source/intro_install.rst
+++ b/docs/source/intro_install.rst
@@ -6,8 +6,9 @@ Installing SimGrid
 ==================
 
 
-SimGrid should work out of the box on Linux, Mac OSX, FreeBSD, and Windows (under windows, only the Java interfaces are
-available at the moment).
+SimGrid should work out of the box on Linux, Mac OSX, FreeBSD, and
+Windows (under Windows, you need to install the Windows Subsystem
+Linux to get more than the Java bindings).
 
 Pre-compiled Packages
 ---------------------
@@ -121,13 +122,15 @@ dependencies.
    make
    make install
 
+.. _install_src_config:
+   
 Build Configuration
 ^^^^^^^^^^^^^^^^^^^
 
 This section is about **compile-time options**, that are very
-different from @ref options "run-time options". Compile-time options
-fall into two categories. *SimGrid-specific options* define which part
-of the framework to compile while *Generic options* are provided by
+different from :ref:`run-time options <options>`. Compile-time options
+fall into two categories. **SimGrid-specific options** define which part
+of the framework to compile while **Generic options** are provided by
 cmake itself.
 
 Generic build-time options