Modification de la documentation 'config_tools.rst' --> correction d'…

…erreur de placement de balise
jdev-org · Oct 30, 2024 · f8e1a5a · f8e1a5a
1 parent 7f01173
commit f8e1a5a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/doc_tech/config_tools.rst b/docs/doc_tech/config_tools.rst
@@ -21,14 +21,14 @@ Les outils sont localisés dans la balise <tools> de la configuration XML.
 
 .. code-block:: xml
        :linenos:
-
-        <application>
+       
+        <application/>
+        
             <tools>
                 ... outils
             </tools>
 
             ....reste de la configuration XML
-        </application>
 
 Les outils sont présentés dans les sections qui suivent.