commit 467419ad4783e776bec2ee444acc297b0c41390f
parent 04f957cb412bf555d2148ca74f4a623650fb2640
Author: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 15:51:03 +0200
include licenses in PDF
Diffstat:
3 files changed, 12 insertions(+), 1 deletion(-)
diff --git 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
@@ -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
@@ -58,3 +58,8 @@ Documentation Overview
onboarding
global-licensing
+.. toctree::
+ :hidden:
+
+ fdl-1.3
+