summaryrefslogtreecommitdiff
path: root/global-licensing.rst
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2019-08-29 15:51:03 +0200
committerFlorian Dold <florian.dold@gmail.com>2019-08-29 15:51:03 +0200
commit467419ad4783e776bec2ee444acc297b0c41390f (patch)
tree4f5e13be1b068400e701da38dee93bdabd91afd0 /global-licensing.rst
parent04f957cb412bf555d2148ca74f4a623650fb2640 (diff)
downloaddocs-467419ad4783e776bec2ee444acc297b0c41390f.tar.gz
docs-467419ad4783e776bec2ee444acc297b0c41390f.tar.bz2
docs-467419ad4783e776bec2ee444acc297b0c41390f.zip
include licenses in PDF
Diffstat (limited to 'global-licensing.rst')
-rw-r--r--global-licensing.rst6
1 files changed, 6 insertions, 0 deletions
diff --git a/global-licensing.rst b/global-licensing.rst
index 7a5e822..ac5f748 100644
--- a/global-licensing.rst
+++ b/global-licensing.rst
@@ -213,3 +213,9 @@ All copyright owned by INRIA (but questionable whether creativity
threshold for copyright is even met).
Sources are licensed under the GNU LGPL.
+
++++++++++++++
+Documentation
++++++++++++++
+
+The documentation is licensed under the GNU Free Documentation License Version 1.3 or later.