diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-05 03:04:15 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-05 03:22:34 +0000 |
commit | eeff5deda08bf42b1f7ace655d1cba90530b9f6d (patch) | |
tree | fadf8b36f357f423525e2687c0e3c66f3878978f /reproduce/software/bash | |
parent | e4a5566861bb7b639624c50be45b2a04d0ce9197 (diff) |
appendix.bbl is now included in make dist tarball
Since the addition of the appendix bibliography we hadn't checked the 'make
dist' command, as a result the PDF couldn't be built. With this commit, in
the 'dist' rule, we are now also copying 'appendix.bbl' and the created
tarball could build the PDF properly. Also the 'peer-review' directory is
now also included in the tarball created by './project make dist'.
I also found a small typo in the description of Occam (an 'a' was missing)
and fixed it.
Diffstat (limited to 'reproduce/software/bash')
0 files changed, 0 insertions, 0 deletions