aboutsummaryrefslogtreecommitdiff
path: root/paper.tex
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-30 17:19:46 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-30 17:19:46 +0000
commit1a5ad3727bcbe44c8499dbad4837a9d099d2bf80 (patch)
treec0d0642fbb32e8c87e7fccc6f57281f3ff813bcd /paper.tex
parente5082a353ead04ec735cfd1c9e60e4fda87da922 (diff)
Downloading TeX Live tarball in general download rule
Until now, we were downloading TeX Live's tarball within the same rule that unpacked it. But this causes problems for situations were it cannot be downloaded within the pipeline (and manually placed in the tarball directory). So now, the TeX Live downloader is treated like all the other downloaders.
Diffstat (limited to 'paper.tex')
0 files changed, 0 insertions, 0 deletions