diff options
author | Norbert Preining <preining@logic.at> | 2008-05-31 15:11:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-05-31 15:11:47 +0000 |
commit | 6e0d06a5537e99bcf575e5bdd597450a6d2688bc (patch) | |
tree | ca7c5eff86887515edd0b4a408ce5c1dc6adf22d /Master/install-tl | |
parent | 62cdd237468be9b929c1b11838b6fe26e7ff3d89 (diff) |
tlmgr.pl: take --version
install-tl: echo version number
tlmgrgui: some layout fixes for windows
various scrupts: expand $Id$ and $Revision$
git-svn-id: svn://tug.org/texlive/trunk@8429 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 45a4eac98e6..efc9c357c74 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -290,6 +290,9 @@ initialize_installer(); setup_programs("$::installerdir/tlpkg/installer", "$::_platform_"); load_tlpdb(); +info("Installer revision: $::installerrevision\n"); +info("Database revision: " . $tlpdb->config_revision . "\n"); + # correctly set the splitting support # for DVD we always support splitting if ((media() eq "NET") || (media() eq "CD")) { |