diff options
| author | Valentine Reboul <reboul@adacore.com> | 2018-06-11 09:16:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:16:49 +0000 |
| commit | 51b84f99dca6308f581da724faf7f4646d991f1a (patch) | |
| tree | c49b677a8b1796850eb62f265949a075c00f8e49 /gcc | |
| parent | 73dc56ea3dbfabfadbedf32d0a8d332f9d5ad116 (diff) | |
| download | gcc-51b84f99dca6308f581da724faf7f4646d991f1a.zip gcc-51b84f99dca6308f581da724faf7f4646d991f1a.tar.gz gcc-51b84f99dca6308f581da724faf7f4646d991f1a.tar.bz2 | |
[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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_ugn.rst | 2 |
3 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a2620cf..53d07c6 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 9360a8f..97f7e4d 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 b6fd18f..0ac6876 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| |