[Ada] Rename "GPL Edition" into "Community Edition"

2018-06-11  Valentine Reboul  <reboul@adacore.com>

gcc/ada/

	* doc/gnat_rm.rst, doc/gnat_ugn.rst: Rename "GPL Edition" into
	"Community Edition".

From-SVN: r261399

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a2620cfabb2afccbf0dacc3d638ff89c709f5ac6..53d07c6c1678550ad1eac57f0072f2e1a48dbb58 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-06-11  Valentine Reboul  <reboul@adacore.com>
+
+       * doc/gnat_rm.rst, doc/gnat_ugn.rst: Rename "GPL Edition" into
+       "Community Edition".
+
 2018-06-11  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch12.adb (Install_Body): In order to determine the placement of

diff --git a/gcc/ada/doc/gnat_rm.rst b/gcc/ada/doc/gnat_rm.rst
index 9360a8fc7a7225016b87bd39162827bb4acdbd9e..97f7e4d45703660b0427272e4d525feef2890fae 100644 (file)
--- a/gcc/ada/doc/gnat_rm.rst
+++ b/gcc/ada/doc/gnat_rm.rst
@@ -14,7 +14,7 @@ GNAT Reference Manual
 
     .. only:: GPL
 
-       *GNAT GPL Edition*
+       *GNAT Community Edition*
 
        | Version |version|
        | Date: |today|

diff --git a/gcc/ada/doc/gnat_ugn.rst b/gcc/ada/doc/gnat_ugn.rst
index b6fd18f807c4c5bcb9064e3fdb00729765df2985..0ac68763760f538a2d49db06ce262702c3554871 100644 (file)
--- a/gcc/ada/doc/gnat_ugn.rst
+++ b/gcc/ada/doc/gnat_ugn.rst
@@ -14,7 +14,7 @@ GNAT User's Guide for Native Platforms
 
     .. only:: GPL
 
-       *GNAT GPL Edition*
+       *GNAT Community Edition*
 
        | Version |version|
        | Date: |today|