aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/web.mk
diff options
context:
space:
mode:
authorBoud Roukema <boud@cosmo.torun.pl>2021-05-18 14:53:13 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2021-06-03 02:02:49 +0100
commitef9fe47c5d5ecc195a1e4bf059dab3b709852ee7 (patch)
tree7cd60c3abadbb241fafdea7fc4e8e1a9e1ee0d4c /reproduce/config/pipeline/web.mk
parent5a6e6e667b6263424135eec34e9d49da51449936 (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/config/pipeline/web.mk')
0 files changed, 0 insertions, 0 deletions