From ab4213398ecc52ebe7bcf337e43bb85cc30dedf3 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 3 Nov 2019 23:46:01 +0100 Subject: [PATCH] cosmetics in the doc --- docs/source/Configuring_SimGrid.rst | 2 +- docs/source/Deploying_your_Application.rst | 2 +- docs/source/Experimental_Setup.rst | 2 +- docs/source/Introduction.rst | 2 +- docs/source/Platform_Examples.rst | 2 +- docs/source/Plugins.rst | 2 +- docs/source/XML_Reference.rst | 2 +- docs/source/_ext/showfile.py | 3 +++ docs/source/app_s4u.rst | 4 ++-- docs/source/app_smpi.rst | 2 +- docs/source/application.rst | 2 +- docs/source/platform.rst | 2 +- docs/source/platform_howtos.rst | 2 +- 13 files changed, 16 insertions(+), 13 deletions(-) diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index c629d166ac..a1498c9ec7 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -5,7 +5,7 @@ Configuring SimGrid .. raw:: html - +