diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-13 21:39:55 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-13 21:39:55 +0100 |
| commit | 7523206bf425829865179375120773cfa23716bf (patch) | |
| tree | 4a7a586278c6d4ae994c1e7eabbe08202fd278e9 /reproduce/analysis/make/top-make.mk | |
| parent | fb041fe844074d2556cfc350b52f5742bfb866b3 (diff) | |
Configure (TeXLive): Year of distribution no longer in directory
It is this time of year again: TeXLive has transitioned to its 2020 release
and the year is imprinted into the installation directory of TeXLive. Until
now, we have had to manually change this year and it caused complications
and was very annoying.
With this commit, the explicit year has been removed from TeXLive's
installation and we now simply put a `maneage' instead of the year. I tried
this on another system and it worked nicely. Until the time that we can
fully install LaTeX packages from source tarballs, this is the best thing
we could do for now.
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
0 files changed, 0 insertions, 0 deletions