diff options
Diffstat (limited to 'Master/tlpkg/installer/install-menu-text.pl')
-rw-r--r-- | Master/tlpkg/installer/install-menu-text.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 6fe12d42cd5..07268bb782b 100644 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -52,6 +52,11 @@ sub string_to_list { return split(//, $string); } +sub __ { + my $s = shift; + return sprintf($s, @_); +} + sub button { # for main menu: 1 char my $val=shift; my $vals=shift; # array ref to descriptions of possible values |