aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/config/TARGETS.conf
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-10 19:54:41 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-10 19:54:41 +0100
commit7800085eddd59f47e5f7b40a5a077dc1cbe7d97b (patch)
treec0bc6aaf014cb486656877a5cf9d6fe63e8aa971 /reproduce/software/config/TARGETS.conf
parent91a37c6c7fc8f08d33c99f77d1cb29451aed1e97 (diff)
Renamed initial paper to paper-long.tex, to write shorter new version
We just recently recognied that the final paper should not be longer than 8000 words. The easiest way was just to start a new `paper.tex' and bring in parts from the original/long version. We can use all the hard work that went into writing the long paper later (possibly in a manual for Maneage). So I don't want to suddenly distroy its history at this point. To let Git know about renaming the original `paper.tex' to `tex/src/paper-long.tex', I am making this commit. This commit doesn't have any `paper.tex' and only records the fact that it has been renamed. In the next commit, I'll re-create `paper.tex' which will host the short/final version. But thanks to this commit, if we later make any changes to long version, Git will know that it was originally the main `paper.tex'.
Diffstat (limited to 'reproduce/software/config/TARGETS.conf')
0 files changed, 0 insertions, 0 deletions