diff options
| -rwxr-xr-x | Master/texmf/scripts/tetex/texdoctk.pl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl index 595ec4315d6..d9bad123b17 100755 --- a/Master/texmf/scripts/tetex/texdoctk.pl +++ b/Master/texmf/scripts/tetex/texdoctk.pl @@ -1,11 +1,13 @@ #! /usr/bin/env perl ############################################################################### -# texdoctk v.0.6.0 (Nov 5, 2004) - GUI for TeX documentation access +# texdoctk - GUI for TeX documentation access # Copyright (C) 2000-2004 Thomas Ruedas +# Updated in 2010 by Manuel Pegourie-Gonnard # This program is provided under the GNU Public License; see the file # README.texdoctk for details about requirements, installation, configuration, # and the full disclaimer. ############################################################################### +my ($version, $date) = ("0.6.1", "2004-11-05"); use strict; use Tk; use Getopt::Long; @@ -1504,7 +1506,7 @@ sub helptext { $tlwins{'helptext'}{'addr'}=$help; $help->Label(-text=>"texdoctk TeX documentation browser - v.0.6.0a (Nov 5, 2004)", +v$version ($date)", -font=>$deffont)->pack(-side=>'top', -ipady=>10, -anchor=>'s'); |