mirror of git://gcc.gnu.org/git/gcc.git
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
This commit is contained in:
parent
9ca016480b
commit
56444a325d
|
|
@ -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.
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue