diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2020-08-29 19:25:52 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2020-08-29 19:30:30 +0200 |
| commit | a501214e66d6686995d7c87fb5532f8ce7f9d7b3 (patch) | |
| tree | d236e142bf46fbf0759c977492354fe4c5223266 /licenses/GPL-3+-with-autoconf-exception | |
| parent | profiles/package.mask: masked media-sound/traverso for removal (diff) | |
| download | gentoo-a501214e66d6686995d7c87fb5532f8ce7f9d7b3.tar.gz gentoo-a501214e66d6686995d7c87fb5532f8ce7f9d7b3.tar.bz2 gentoo-a501214e66d6686995d7c87fb5532f8ce7f9d7b3.zip | |
licenses: Add GPL-3+-with-autoconf-exception for sys-devel/gnuconfig.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'licenses/GPL-3+-with-autoconf-exception')
| -rw-r--r-- | licenses/GPL-3+-with-autoconf-exception | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/licenses/GPL-3+-with-autoconf-exception b/licenses/GPL-3+-with-autoconf-exception new file mode 100644 index 000000000000..1b41955c37e9 --- /dev/null +++ b/licenses/GPL-3+-with-autoconf-exception @@ -0,0 +1,9 @@ +GNU General Public License, version 3 or any later version. +See GPL-3 for the full text of this license. + +As a special exception to the GNU General Public License, if you +distribute this file as part of a program that contains a +configuration script generated by Autoconf, you may include it under +the same distribution terms that you use for the rest of that +program. This Exception is an additional permission under section 7 +of the GNU General Public License, version 3 ("GPLv3"). |