diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLUtils.pm')
| -rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 4997be204d8..ad92873214a 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -2239,6 +2239,10 @@ sub announce_execute_actions { $::regenerate_all_formats = 1; return; } + if (defined($type) && ($type eq "context-formats")) { + $::regenerate_context_formats = 1; + return; + } if (defined($type) && ($type eq "files-changed")) { $::files_changed = 1; return; |