[Ada] Add Suppressible argument to Assertion_Policy in documentation

2018-06-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
	argument to Assertion_Policy
	* gnat_rm.texi: Regenerate.

From-SVN: r261415

gcc/ada/ChangeLog

 2018-06-11  Yannick Moy  <moy@adacore.com>
 
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
+	argument to Assertion_Policy
+	* gnat_rm.texi: Regenerate.
+
+2018-06-11  Yannick Moy  <moy@adacore.com>
+
 	* gnat1drv.adb: Do not check representation information in CodePeer and
 	GNATprove modes, as these modes call a special backend instead of gigi,
 	so do not have the information.

gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst

@@ -396,7 +396,7 @@ Pragma Assertion_Policy
 
 Syntax::
 
-  pragma Assertion_Policy (CHECK | DISABLE | IGNORE);
+  pragma Assertion_Policy (CHECK | DISABLE | IGNORE | SUPPRESSIBLE);
 
   pragma Assertion_Policy (
       ASSERTION_KIND => POLICY_IDENTIFIER

gcc/ada/gnat_rm.texi

@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , May 22, 2018
+GNAT Reference Manual , Jun 06, 2018
 
 AdaCore
 
@@ -1761,7 +1761,7 @@ documentation.
 Syntax:
 
 @example
-pragma Assertion_Policy (CHECK | DISABLE | IGNORE);
+pragma Assertion_Policy (CHECK | DISABLE | IGNORE | SUPPRESSIBLE);
 
 pragma Assertion_Policy (
     ASSERTION_KIND => POLICY_IDENTIFIER