From: Valentine Reboul <reboul@adacore.com>
Date: Mon, 11 Jun 2018 09:16:49 +0000 (+0000)
Subject: [Ada] Rename "GPL Edition" into "Community Edition"
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51b84f99dca6308f581da724faf7f4646d991f1a;p=gcc.git

[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 a2620cfabb2..53d07c6c167 100644
--- 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 9360a8fc7a7..97f7e4d4570 100644
--- 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 b6fd18f807c..0ac68763760 100644
--- 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|