diff options
-rw-r--r-- | conf.py | 2 | ||||
-rw-r--r-- | global-licensing.rst | 6 | ||||
-rw-r--r-- | index.rst | 5 |
3 files changed, 12 insertions, 1 deletions
@@ -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. @@ -58,3 +58,8 @@ Documentation Overview onboarding global-licensing +.. toctree:: + :hidden: + + fdl-1.3 + |