diff --git a/Makefile b/Makefile index c8eee3952170faf9f3cc72f2852c29860fbfc60e..cc63a96e37c95c6d17660ffca4c6cf00026c42f3 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 \