diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index af276fbaebc..535dacf71e6 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -3071,7 +3071,7 @@ sub parse_AddFormat_line { $ret{"mode"} = 1; for my $p (quotewords('\s+', 0, "$line")) { my ($a, $b); - if ($p =~ m/^(name|engine|mode|patterns|options)=(.*)$/) { + if ($p =~ m/^(name|engine|mode|patterns|options|triggers)=(.*)$/) { $a = $1; $b = $2; } else { @@ -3106,6 +3106,11 @@ sub parse_AddFormat_line { $ret{"options"} = ( $b ? $b : "" ); next; } + if ($a eq "triggers") { + my @tl = split(',',$b); + $ret{"triggers"} = \@tl ; + next; + } # should not be reached at all $ret{"error"} = "Unknown format directive $p"; return %ret; |