summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--conf.py2
-rw-r--r--global-licensing.rst6
-rw-r--r--index.rst5
3 files changed, 12 insertions, 1 deletions
diff --git a/conf.py b/conf.py
index 33744f84..89b246ab 100644
--- a/conf.py
+++ b/conf.py
@@ -247,7 +247,7 @@ latex_documents = [
#latex_show_urls = False
# Documents to append as an appendix to all manuals.
-#latex_appendices = []
+latex_appendices = ["fdl-1.3"]
# If false, no module index is generated.
#latex_domain_indices = True
diff --git a/global-licensing.rst b/global-licensing.rst
index 7a5e8226..ac5f748e 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.
diff --git a/index.rst b/index.rst
index 84fe6da6..42230c1f 100644
--- a/index.rst
+++ b/index.rst
@@ -58,3 +58,8 @@ Documentation Overview
onboarding
global-licensing
+.. toctree::
+ :hidden:
+
+ fdl-1.3
+