aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/git-pre-commit
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-11-04 22:40:47 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-11-04 22:48:22 +0000
commit08516255b1cf366069770026503986f12d59bcc1 (patch)
tree7608cd494bccdd5c097766555601f625e5ab128d /reproduce/software/shell/git-pre-commit
parent6e74101fe4a435672a2401afed887c8826049380 (diff)
Appendix of long paper added, optionally we can disable it
Given the referee reports, after discussing with the editors of CiSE, we decided that it is important to include the complete appendix we had before that included a thorough review of existing tools and methods. However, the appendix will not be published in the paper (due to the strict word-count limit). It will only be used in the arXiv/Zenodo versions of the paper. This actually created a technical problem: we want the commit hash of the project source to remain the same when the paper is built with an appendix or without it. To fix this problem the choice of including an appendix has gone into the 'project' script as a run-time option called '--no-appendix'. So by default (when someone just runs './project make'), the PDF will have an appendix, but when we want to submit to the journal, or when the appendix isn't needed for a certain reason, we can use this new option. The appendix also has its own separate bibliography. Some other corrections made in this commit: 1. Some new references were added that had an '_' in their source, they were corrected in 'references.tex'. 2. I noticed that 'preamble-style.tex' is not actually used in this paper, so it has been deleted.
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
0 files changed, 0 insertions, 0 deletions