[Ada] Replace GNAT_Extended_Ravenscar profile name
authorPat Rogers <rogers@adacore.com>
Mon, 21 Sep 2020 18:23:44 +0000 (13:23 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:59:15 +0000 (04:59 -0400)
commit38a61cff222cc99e5eb31133339c9768e9b5c8b0
tree277105582181a302ae5104c95d4c4a5f5f33f689
parent10c633b7d6de86c64048ca50eef7a6f87e5ad95f
[Ada] Replace GNAT_Extended_Ravenscar profile name

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Include
"Jorvik" in pragma Profile description.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi