aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRonan Desplanques <desplanques@adacore.com>2023-01-06 16:10:59 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-05-15 11:36:41 +0200
commitf571a20192dceab5abce9303af4459f1917202f5 (patch)
treeb50bcedcf06749d161ec02ebc0d616478d5fe6f2
parent4b7373ea32eb6c129cc9af660945409612861b07 (diff)
downloadgcc-f571a20192dceab5abce9303af4459f1917202f5.zip
gcc-f571a20192dceab5abce9303af4459f1917202f5.tar.gz
gcc-f571a20192dceab5abce9303af4459f1917202f5.tar.bz2
ada: Fix minor documentation formatting issue
gcc/ada/ * doc/gnat_rm/implementation_defined_characteristics.rst: Fix minor documentation formatting issue. * gnat_rm.texi: Regenerate. * gnat_ugn.texi: Regenerate.
-rw-r--r--gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst6
-rw-r--r--gcc/ada/gnat_rm.texi8
-rw-r--r--gcc/ada/gnat_ugn.texi2
3 files changed, 12 insertions, 4 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
index fb6a63c..0d3f340 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
@@ -820,7 +820,7 @@ This definition is determined by the underlying operating system.
"The circumstances where an environment variable cannot be defined.
See A.17(16)."
- There are no such implementation-defined circumstances.
+There are no such implementation-defined circumstances.
*
"Environment names for which Set has the effect of Clear. See A.17(17)."
@@ -1154,8 +1154,8 @@ Execution is erroneous in that case.
* "Whether the use of pragma Restrictions results in a reduction in program
code or data size or execution time. See D.7(20)."
- Yes it can, but the precise circumstances and properties of such reductions
- are difficult to characterize.
+Yes it can, but the precise circumstances and properties of such reductions
+are difficult to characterize.
*
"The value of Barrier_Limit'Last in Synchronous_Barriers. See D.10.1(4)."
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 81b36b8..5e05287 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -17255,9 +17255,13 @@ This definition is determined by the underlying operating system.
@item
“The circumstances where an environment variable cannot be defined.
See A.17(16).”
+@end itemize
There are no such implementation-defined circumstances.
+
+@itemize *
+
@item
“Environment names for which Set has the effect of Clear. See A.17(17).”
@end itemize
@@ -17920,10 +17924,14 @@ Execution is erroneous in that case.
@item
“Whether the use of pragma Restrictions results in a reduction in program
code or data size or execution time. See D.7(20).”
+@end itemize
Yes it can, but the precise circumstances and properties of such reductions
are difficult to characterize.
+
+@itemize *
+
@item
“The value of Barrier_Limit’Last in Synchronous_Barriers. See D.10.1(4).”
@end itemize
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 134a42e..e8512cb 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29433,8 +29433,8 @@ to permit their use in free software.
@printindex ge
-@anchor{cf}@w{ }
@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ }
+@anchor{cf}@w{ }
@c %**end of body
@bye