diff options
author | Norbert Preining <preining@logic.at> | 2017-10-27 04:21:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2017-10-27 04:21:47 +0000 |
commit | 9e043b93fc4f0da1dfca3d1f4fb8026561470cf8 (patch) | |
tree | 05fb487eaebf310da6fa4074ceca726f6aa00637 /Master/texmf-dist | |
parent | da23291b51d577b5b2c8e35a41b01159b7a1e7de (diff) |
rework (again) location of various configuration options
Currently opt_frozen is set in 00texlive.installation and thus
was in principle targeted for user editing. Furthermore, it wasn't
a defined key in TLConfig::TLPDBOptions.
The frozen setting has now moved in 00texlive.config.tlpsrc, which
also defines the container format etc, thus the proper place.
At the same time we cleared out 00texlive.installation.tlpsrc,
it is not necessary anymore, and only carried wrong information.
All the defaults for options/settings in 00texlive.installation
are now defined in TLConfig.
git-svn-id: svn://tug.org/texlive/trunk@45617 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 2fef2499d6f..b8cbef168ae 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -6752,7 +6752,7 @@ and the repository are not compatible: } # check for being frozen - if ($remotetlpdb->option("frozen")) { + if ($remotetlpdb->config_frozen) { my $frozen_msg = <<FROZEN; TeX Live $TeXLive::TLConfig::ReleaseYear is frozen forever and will no longer be updated. This happens in preparation for a new release. |