diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
| commit | 29d26d1e5ea7b9ad291772313604ed42e9763810 (patch) | |
| tree | 8c7f46da02c45b2d9f63067451254c13c0374599 | |
| parent | 67bc85c30ba1885ace3d0d282724adf227e7a5f3 (diff) | |
Won't copy previous distribution builds in new distribution
Until now, the pipeline was instructed to only ignore the current temporary
project distribution directory. So if there were directories from previous
builds, they were wrongly included in the current tarball.
With this commit, we don't just ignore the directory of the current
distribution, but generally, all directories starting with `paper-v*'.
| -rw-r--r-- | .file-metadata | bin | 6250 -> 6250 bytes | |||
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex e49f5cc..4a6fada 100644 --- a/.file-metadata +++ b/.file-metadata diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index 1e4a126..ee9c8c1 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -260,7 +260,7 @@ $(packagecontents): paper.pdf | $(texdir) cp -r tex/src $$dir/tex/src cp tex/tikz/*.pdf $$dir/tex/tikz cp -r reproduce/* $$dir/reproduce - cp -r tex/build/!($(packagebasename)) $$dir/tex/build + cp -r tex/build/!(paper-v*) $$dir/tex/build # Clean up un-necessary/local files: 1) the $(texdir)/build* # directories (when building in a group structure, there will be |