diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-19 12:06:08 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-19 12:06:08 +0100 |
commit | 0c30dba4c95de0ffca133eb24cd983ba82cab5c1 (patch) | |
tree | 314bacf2f0d4b5fed953ccf9909452e6b332c70f /reproduce/analysis/make/top-make.mk | |
parent | d4835357d2e96fd8a3a33bfaf9f7b459ba31e978 (diff) |
Minor improvments in packaging of project with make dist
The steps to package the project have been made slightly more clear and
also the temporary directory that is created for packaging is deleted after
the tarball is made.
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
0 files changed, 0 insertions, 0 deletions