]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix formatting inconsistency in User's Guide
authorRonan Desplanques <desplanques@adacore.com>
Thu, 12 Jan 2023 14:02:49 +0000 (15:02 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:43 +0000 (11:36 +0200)
gcc/ada/

* doc/gnat_ugn/gnat_utility_programs.rst: Fix formatting
inconsistency.

gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst

index 639534d90e67a082bd1ae0afb363776af75fb726..98c90907b94f81d03b3272dcf9a45ff596c05fd7 100644 (file)
@@ -1650,8 +1650,8 @@ building specialized scripts.
 
   .. _The_Body_Stub_Generator_gnatstub:
 
-  The Body Stub Generator *gnatstub*
-  ==================================
+  The Body Stub Generator ``gnatstub``
+  ====================================
 
   .. index:: ! gnatstub