From 0d32b3949550a525711cd122e29ebdfcd842f607 Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Fri, 13 Mar 2020 12:37:14 +0100 Subject: [PATCH] the old docs/ folder moved to tex/ --- LICENSE | 10 +++++----- LICENSE-CODE | 4 ++-- LICENSE-DOCS | 2 +- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/LICENSE b/LICENSE index e26164703..a7ec31fbc 100644 --- a/LICENSE +++ b/LICENSE @@ -1,5 +1,5 @@ -The source code (i.e., everything except for files in the docs/ folder) in this -development is licensed under the terms of the BSD license, while the -documentation (i.e., everything inside the docs/ folder) is licensed under the -terms of the CC-BY 4.0 license. Fur further details, see LICENSE-CODE and -LICENSE-DOCS, respectively. +The source code (i.e., everything except for files in the docs/ and tex/ +folders) in this development is licensed under the terms of the BSD license, +while the documentation (i.e., everything inside the docs/ and tex/ folders) is +licensed under the terms of the CC-BY 4.0 license. Fur further details, see +LICENSE-CODE and LICENSE-DOCS, respectively. diff --git a/LICENSE-CODE b/LICENSE-CODE index b4c947123..c4d13d0f1 100644 --- a/LICENSE-CODE +++ b/LICENSE-CODE @@ -1,5 +1,5 @@ -All files in this development, excluding those in docs/, are distributed -under the terms of the BSD license, included below. +All files in this development, excluding those in docs/ and tex/, are +distributed under the terms of the BSD license, included below. Copyright: Iris developers and contributors diff --git a/LICENSE-DOCS b/LICENSE-DOCS index 9b5e09af0..4c892ca81 100644 --- a/LICENSE-DOCS +++ b/LICENSE-DOCS @@ -1,4 +1,4 @@ -All files in the docs/ folder of this development are distributed +All files in the docs/ and tex/ folders of this development are distributed under the terms of the CC-BY 4.0 license <https://creativecommons.org/licenses/by/4.0/>. For your convenience, a plain-text version of the license is included below. -- GitLab