summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2021-02-16 10:29:22 +0100
committerUlrich Müller <ulm@gentoo.org>2021-02-16 10:31:03 +0100
commitddd5e36b55ef993a314ae8ca57180f788af22582 (patch)
tree49b0057460266593a3e37ee68485d91e63fc9025 /licenses
parentdev-libs/ilbc-rfc3951: Remove last-rited package (diff)
downloadgentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.tar.gz
gentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.tar.bz2
gentoo-ddd5e36b55ef993a314ae8ca57180f788af22582.zip
licenses: Add GPL-3+-with-font-exception
For media-fonts/intlfonts. Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'licenses')
-rw-r--r--licenses/GPL-3+-with-font-exception12
1 files changed, 12 insertions, 0 deletions
diff --git a/licenses/GPL-3+-with-font-exception b/licenses/GPL-3+-with-font-exception
new file mode 100644
index 000000000000..8d5a7832bd82
--- /dev/null
+++ b/licenses/GPL-3+-with-font-exception
@@ -0,0 +1,12 @@
+GNU General Public License, version 3 or any later version.
+See GPL-3 for the full text of this license.
+
+As a special exception, if you create a document which uses this font,
+and embed this font or unaltered portions of this font into the
+document, this font does not by itself cause the resulting document to
+be covered by the GNU General Public License. This exception does not
+however invalidate any other reasons why the document might be covered
+by the GNU General Public License. If you modify this font, you may
+extend this exception to your version of the font, but you are not
+obligated to do so. If you do not wish to do so, delete this exception
+statement from your version.