diff options
author | Boud Roukema <boud@cosmo.torun.pl> | 2021-05-18 14:53:13 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-06-03 02:02:49 +0100 |
commit | ef9fe47c5d5ecc195a1e4bf059dab3b709852ee7 (patch) | |
tree | 7cd60c3abadbb241fafdea7fc4e8e1a9e1ee0d4c /reproduce/software/make/README.md | |
parent | 5a6e6e667b6263424135eec34e9d49da51449936 (diff) |
Configuration: improved warning when TeX Live couldn't be installed
Once a year, the texlive update system becomes incompatible with the
version from the previous year. Since a texlive install failure is
considered non-fatal by 'high-level.mk', so until now, the user could miss
the printed message and mistakenly believe that the configure is valid.
This commit explicitly adds a 10-second delay that should be enough for a
user who does the 'configure --existing-conf' step alone to notice that
there is a TeX Live problem. It also adds the explicit instruction of how
to allow an update from an earlier year's texlive installer to the warning
message (by deleting '.build/software/tarballs/install-tl-unx.tar.gz'). I
had to rediscover this a few times for old Maneage installs.
Also, a few lines in 'reproduce/software/shell/configure.sh' were indented
with a TAB (that is not recommended because TAB is displayed with different
widths on different browsers). So while doing this commit, those TABs were
also converted to a space.
Diffstat (limited to 'reproduce/software/make/README.md')
0 files changed, 0 insertions, 0 deletions