[gcc r12-3809] [Ada] Minor doc improvement

[gcc r12-3809] [Ada] Minor doc improvement

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa

commit r12-3809-gf4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Thu Jul 22 03:27:41 2021 -0400

    [Ada] Minor doc improvement
    
    gcc/ada/
    
            * doc/gnat_ugn/platform_specific_information.rst: Improve doc
            on permission and containers.
            * gnat_ugn.texi: Regenerate.

Diff:
---
 gcc/ada/doc/gnat_ugn/platform_specific_information.rst | 5 ++++-
 gcc/ada/gnat_ugn.texi                                  | 7 +++++--
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
index 13993b86ad1..4f68d25498e 100644
--- a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
+++ b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
@@ -217,7 +217,10 @@ this in a library package body in your application:
        (if geteuid = 0 then True else raise Program_Error with "must be root");
 
 It gets the effective user id, and if it's not 0 (i.e. root), it raises
-Program_Error.
+Program_Error. Note that if you re running the code in a container, this may
+not be sufficient, as you may have sufficient priviledge on the container,
+but not on the host machine running the container, so check that you also
+have sufficient priviledge for running the container image.
 
 .. index:: Linux
 .. index:: GNU/Linux
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 9919cad9b88..68a223c061c 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -22645,7 +22645,10 @@ Ignore : constant Boolean :=
 @end quotation
 
 It gets the effective user id, and if it’s not 0 (i.e. root), it raises
-Program_Error.
+Program_Error. Note that if you re running the code in a container, this may
+not be sufficient, as you may have sufficient priviledge on the container,
+but not on the host machine running the container, so check that you also
+have sufficient priviledge for running the container image.
 
 @geindex Linux
 
@@ -29228,8 +29231,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