Merge branch 'master' of github.com:simgrid/simgrid

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

diff --git a/docs/source/platform_examples.rst b/docs/source/platform_examples.rst
index 259c7c3..93996b2 100644 (file)
--- a/docs/source/platform_examples.rst
+++ b/docs/source/platform_examples.rst
@@ -10,6 +10,8 @@
    <br/>
    <br/>
 
+.. _platform_examples:
+   
 Platform Examples
 =================