From d29e8bd0333438d5ffa1cd2617604250ac9b18a5 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 2 Sep 2019 19:32:07 +0200
Subject: [PATCH] [Makefile] add script to distributed files

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c8eee395217..cc63a96e37c 100644
--- a/Makefile
+++ b/Makefile
@@ -1939,6 +1939,7 @@ install:: install-lib
 	  share/analysis-scripts/frama_c_results.py \
 	  share/analysis-scripts/git_utils.py \
 	  share/analysis-scripts/list_files.py \
+	  share/analysis-scripts/make_template.py \
 	  share/analysis-scripts/make_wrapper.py \
 	  share/analysis-scripts/parse-coverage.sh \
 	  share/analysis-scripts/README.md \
-- 
GitLab