diff options
author | Arnaud Charlet <charlet@adacore.com> | 2014-06-14 06:55:49 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-14 08:55:49 +0200 |
commit | 56444a325d0de844b1c6eea5f598b8b268a4fac5 (patch) | |
tree | 498407acbebf8179c864082b4f856896c2d67880 /gcc | |
parent | 9ca016480be946e3d77d15299d925814c6675950 (diff) | |
download | gcc-56444a325d0de844b1c6eea5f598b8b268a4fac5.zip gcc-56444a325d0de844b1c6eea5f598b8b268a4fac5.tar.gz gcc-56444a325d0de844b1c6eea5f598b8b268a4fac5.tar.bz2 |
re PR ada/61505 (bootstrap broken by ada/gnat_rm.texi after r211448)
PR ada/61505
* gnat_rm.texi: Attempt to fix error with makeinfo 5.1
From-SVN: r211665
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/gnat_rm.texi | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4a898e6..a13faa7 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2014-06-14 Arnaud Charlet <charlet@adacore.com> + + PR ada/61505 + * gnat_rm.texi: Attempt to fix error with makeinfo 5.1 + 2014-06-13 Yannick Moy <moy@adacore.com> * exp_attr.adb Typo in comment. diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 9790b8e..f3a6c39 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -4104,8 +4104,6 @@ Normally a unit with no @code{License} pragma is considered to have an unknown license, and no checking is done. However, standard GNAT headers are recognized, and license information is derived from them as follows. -@itemize @bullet - A GNAT license header starts with a line containing 78 hyphens. The following comment text is searched for the appearance of any of the following strings. @@ -4117,7 +4115,6 @@ If one of the strings ``This specification is adapted from the Ada Semantic Interface'' or ``This specification is derived from the Ada Reference Manual'' is found then the unit is assumed to be unrestricted. -@end itemize @noindent These default actions means that a program with a restricted license pragma |