summaryrefslogtreecommitdiff
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
parent04f957cb412bf555d2148ca74f4a623650fb2640 (diff)
downloaddocs-467419ad4783e776bec2ee444acc297b0c41390f.tar.gz
docs-467419ad4783e776bec2ee444acc297b0c41390f.tar.bz2
docs-467419ad4783e776bec2ee444acc297b0c41390f.zip
include licenses in PDF
-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 33744f8..89b246a 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 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.
diff --git a/index.rst b/index.rst
index 84fe6da..42230c1 100644
--- a/index.rst
+++ b/index.rst
@@ -58,3 +58,8 @@ Documentation Overview
onboarding
global-licensing
+.. toctree::
+ :hidden:
+
+ fdl-1.3
+