From 467419ad4783e776bec2ee444acc297b0c41390f Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Thu, 29 Aug 2019 15:51:03 +0200 Subject: include licenses in PDF --- global-licensing.rst | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'global-licensing.rst') 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. -- cgit v1.2.3