Various doc improvement, mostly on rendering

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

diff --git a/docs/source/platform_reference.rst b/docs/source/XML_Reference.rst
similarity index 99%
rename from docs/source/platform_reference.rst
rename to docs/source/XML_Reference.rst
index 8fd0892..87a7181 100644 (file)
--- a/docs/source/platform_reference.rst
+++ b/docs/source/XML_Reference.rst
@@ -3,7 +3,7 @@
    <object id="TOC" data="graphical-toc.svg" width="100%" type="image/svg+xml"></object>
    <script>
    window.onload=function() { // Wait for the SVG to be loaded before changing it
-     var elem=document.querySelector("#TOC").contentDocument.getElementById("PlatformBox")
+     var elem=document.querySelector("#TOC").contentDocument.getElementById("ReferenceBox")
      elem.style="opacity:0.93999999;fill:#ff0000;fill-opacity:0.1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1";
    }
    </script>
@@ -12,8 +12,8 @@
 
 .. _platform_reference:
 
-DTD Reference
-*************
+Complete XML Reference
+**********************
 
 Your platform description should follow the specification presented in the
 `simgrid.dtd <https://simgrid.org/simgrid.dtd>`_ DTD file. The same DTD is used for both platform and deployment files.