aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make/top-make.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-05-01 22:36:45 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-05-01 22:36:45 +0100
commitdf878cc2dc80ea09e09617949869ab7044d3c3c3 (patch)
tree4ffb0d73d6e6b3403d01923b94b27628f566398e /reproduce/analysis/make/top-make.mk
parenta6f5fcd6177b8f6319ffccddda1627f8b1dad415 (diff)
parent82666074e0c921e53c21b9e2c444e9a2d407d092 (diff)
Imported recent changes in Maneage, minor conflicts fixed
A few small conflicts showed up here and there. They are fixed with this merge.
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
-rw-r--r--reproduce/analysis/make/top-make.mk21
1 files changed, 9 insertions, 12 deletions
diff --git a/reproduce/analysis/make/top-make.mk b/reproduce/analysis/make/top-make.mk
index 43f67d9..07e8aa8 100644
--- a/reproduce/analysis/make/top-make.mk
+++ b/reproduce/analysis/make/top-make.mk
@@ -2,18 +2,15 @@
#
# Copyright (C) 2018-2020 Mohammad Akhlaghi <mohammad@akhlaghi.org>
#
-# This Makefile is free software: you can redistribute it and/or modify it
-# under the terms of the GNU General Public License as published by the
-# Free Software Foundation, either version 3 of the License, or (at your
-# option) any later version.
-#
-# This Makefile is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
-# Public License for more details.
-#
-# A copy of the GNU General Public License is available at
-# <http://www.gnu.org/licenses/>.
+# This Makefile is part of Maneage. Maneage is free software: you can
+# redistribute it and/or modify it under the terms of the GNU General
+# Public License as published by the Free Software Foundation, either
+# version 3 of the License, or (at your option) any later version.
+#
+# Maneage is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+# more details. See <http://www.gnu.org/licenses/>.