aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--LICENSE2
-rw-r--r--Makefile3
2 files changed, 5 insertions, 0 deletions
diff --git a/LICENSE b/LICENSE
index 1f8776d4..3b41c108 100644
--- a/LICENSE
+++ b/LICENSE
@@ -49,6 +49,8 @@ option) any later version:
all files in the exportclight/ directory
+ Makefile
+
A copy of the GNU General Public License version 2 is included below.
The choice between the two licenses for the files listed above is left
to the user. If you opt for the GNU General Public License, these
diff --git a/Makefile b/Makefile
index 70f60132..76938b4c 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,9 @@
# #
# Copyright Institut National de Recherche en Informatique et en #
# Automatique. All rights reserved. This file is distributed #
+# under the terms of the GNU General Public License as published by #
+# the Free Software Foundation, either version 2 of the License, or #
+# (at your option) any later version. This file is also distributed #
# under the terms of the INRIA Non-Commercial License Agreement. #
# #
#######################################################################