diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl index 3373ab88c2d..1f24ecb8ad5 100755 --- a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl @@ -270,10 +270,13 @@ our $top = $mw->Frame; our $quit = $top->Button(-text => ___"quit", -command => sub { $mw->destroy; exit(0); }); +my $tlmgrrev = `tlmgr --version`; +chomp($tlmgrrev); our $about = $top->Button(-text => ___"about", -command => sub { $mw->Dialog(-title => ___"about", -text => "TeX Live Manager GUI +$tlmgrrev Copyright 2008 Tomasz Luczak, Norbert Preining License under the GNU General Public License version 2 or higher In case of problems, please contact: texlive\@tug.org", |