aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2018-04-25 10:01:13 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2018-04-25 10:01:13 +0000
commit87ed4159acd89266d3aeae39c3ce9e548556d7f4 (patch)
treec1fc5fab94e41947887ab090a1e227ecc5d9c653 /gcc
parent09304ef4a8c0e8cbb9430d1a442ac32d8ec7055b (diff)
downloadgcc-87ed4159acd89266d3aeae39c3ce9e548556d7f4.zip
gcc-87ed4159acd89266d3aeae39c3ce9e548556d7f4.tar.gz
gcc-87ed4159acd89266d3aeae39c3ce9e548556d7f4.tar.bz2
re PR ada/85007 (-b flag to gnatlink not recognized)
PR ada/85007 * gnat_ugn.texi: Regenerate. From-SVN: r259639
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/gnat_ugn.texi16
2 files changed, 7 insertions, 14 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 03e8383..33ea6b4 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-04-25 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/85007
+ * gnat_ugn.texi: Regenerate.
+
2018-03-23 Eric Botcazou <ebotcazou@adacore.com>
PR ada/85007
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 63361fc..30ef6c7 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -3,7 +3,7 @@
@setfilename gnat_ugn.info
@documentencoding UTF-8
@ifinfo
-@*Generated by Sphinx 1.4.6.@*
+@*Generated by Sphinx 1.3.6.@*
@end ifinfo
@settitle GNAT User's Guide for Native Platforms
@defindex ge
@@ -21,7 +21,7 @@
@copying
@quotation
-GNAT User's Guide for Native Platforms , Dec 15, 2017
+GNAT User's Guide for Native Platforms , April 25, 2018
AdaCore
@@ -16770,18 +16770,6 @@ name as the main unit. For example, @code{gnatlink try.ali} creates
an executable called @code{try}.
@end table
-@geindex -b (gnatlink)
-
-
-@table @asis
-
-@item @code{-b @emph{target}}
-
-Compile your program to run on @code{target}, which is the name of a
-system configuration. You must have a GNAT cross-compiler built if
-@code{target} is not the same as your host system.
-@end table
-
@geindex -B (gnatlink)