diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-10 19:54:41 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-10 19:54:41 +0100 |
commit | 7800085eddd59f47e5f7b40a5a077dc1cbe7d97b (patch) | |
tree | c0bc6aaf014cb486656877a5cf9d6fe63e8aa971 | |
parent | 91a37c6c7fc8f08d33c99f77d1cb29451aed1e97 (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'.
-rw-r--r-- | tex/src/paper-long.tex (renamed from paper.tex) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/paper.tex b/tex/src/paper-long.tex index a897f3d..a897f3d 100644 --- a/paper.tex +++ b/tex/src/paper-long.tex |