From e442d36f7fbb0a4cbc7f455db23fd8f0cb34439c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Sep 2019 14:10:09 +0200 Subject: [PATCH] * doc/org/index.org: Clarify license implications. --- doc/org/index.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/org/index.org b/doc/org/index.org index 1d1292bbe..f80f1c939 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -59,9 +59,9 @@ The latest version is *{{{LASTRELEASE}}}* and was released on Spot is distributed under a [[http://www.gnu.org/licenses/gpl-3.0.html][GNU GPL v3 license]]. -A consequence is that if you distribute a tool built using Spot, you -*must* make the source code of that tool available as well, under a -compatible license. +One consequence is that any work based on Spot is covered by that +license as well. For instance if you distribute a tool that [[https://en.wikipedia.org/wiki/GNU_General_Public_License#Linking_and_derived_works][links +with]] Spot, you should distribute the source code of that tool as well. * Staying in touch