diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 022bb46584c..3974750c22b 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -577,6 +577,9 @@ sub handle_execute_actions { my %def = %$d; if (defined($def{'engine'})) { next if defined($done_formats{$def{'name'}}); + # do not regenerate disabled formats (mode=disabled which is + # translated to $def{'mode'} = 0|1 + next if (defined($def{'mode'}) && !$def{'mode'}); for my $e (@upen) { if ($def{'engine'} eq $e) { log ("updating format $def{'name'} (engine $e updated)\n"); |