diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:19:46 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:19:46 +0000 |
| commit | 1a5ad3727bcbe44c8499dbad4837a9d099d2bf80 (patch) | |
| tree | c0d0642fbb32e8c87e7fccc6f57281f3ff813bcd /paper.tex | |
| parent | e5082a353ead04ec735cfd1c9e60e4fda87da922 (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