diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-27 16:43:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-27 16:43:40 +0000 |
commit | a2a03aa6230e0fdc8d5a7922f2c0c23c05915fe1 (patch) | |
tree | 4e8dc79aacfc86534f6feb0f55794d16556ba61c /Build | |
parent | b22ccce5b0f563434ae23f9f1f9481829739aa89 (diff) |
make4ht (27apr17)
git-svn-id: svn://tug.org/texlive/trunk@44079 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
3 files changed, 22 insertions, 7 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/make4ht/make4ht b/Build/source/texk/texlive/linked_scripts/make4ht/make4ht index 49b1d0159a5..15bda54aca8 100755 --- a/Build/source/texk/texlive/linked_scripts/make4ht/make4ht +++ b/Build/source/texk/texlive/linked_scripts/make4ht/make4ht @@ -24,6 +24,11 @@ make4ht [options] filename ["tex4ht.sty op." "tex4ht op." "t4ht op" "latex op"] <filename> (string) Input file name ]] +-- set version number. the template should be replaced by the +-- actual version number by the build script +local version = "v0.1c" +mkparams.version_number = version + local args = mkparams.get_args() local parameters = mkparams.process_args(args) diff --git a/Build/source/texk/texlive/linked_scripts/texlive/tlmgr.pl b/Build/source/texk/texlive/linked_scripts/texlive/tlmgr.pl index a0a0d79733e..d365acb2dd0 100755 --- a/Build/source/texk/texlive/linked_scripts/texlive/tlmgr.pl +++ b/Build/source/texk/texlive/linked_scripts/texlive/tlmgr.pl @@ -1,13 +1,13 @@ #!/usr/bin/env perl -# $Id: tlmgr.pl 43940 2017-04-20 14:47:49Z preining $ +# $Id: tlmgr.pl 43990 2017-04-23 13:21:28Z preining $ # # Copyright 2008-2017 Norbert Preining # This file is licensed under the GNU General Public License version 2 # or any later version. # -my $svnrev = '$Revision: 43940 $'; -my $datrev = '$Date: 2017-04-20 16:47:49 +0200 (Thu, 20 Apr 2017) $'; +my $svnrev = '$Revision: 43990 $'; +my $datrev = '$Date: 2017-04-23 15:21:28 +0200 (Sun, 23 Apr 2017) $'; my $tlmgrrevision; my $prg; if ($svnrev =~ m/: ([0-9]+) /) { @@ -6689,6 +6689,11 @@ sub action_shell { } else { print "OK\n"; } + # make sure that we restart after having called update --self! + if (($cmd eq 'update') && $opts{'self'}) { + print "tlmgr has been updated, restarting!\n"; + exec("tlmgr", @::SAVEDARGV); + } %opts = %savedopts; } else { print "ERROR unknown command\n"; diff --git a/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl b/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl index e7cadcfc0d4..a8d9ff67293 100755 --- a/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl +++ b/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id: updmap.pl 43794 2017-04-15 00:12:54Z preining $ +# $Id: updmap.pl 44056 2017-04-26 08:14:28Z preining $ # updmap - maintain map files for outline fonts. # (Maintained in TeX Live:Master/texmf-dist/scripts/texlive.) # @@ -14,7 +14,7 @@ # the original versions were licensed under the following agreement: # Anyone may freely use, modify, and/or distribute this file, without -my $svnid = '$Id: updmap.pl 43794 2017-04-15 00:12:54Z preining $'; +my $svnid = '$Id: updmap.pl 44056 2017-04-26 08:14:28Z preining $'; my $TEXMFROOT; BEGIN { @@ -27,10 +27,10 @@ BEGIN { unshift(@INC, "$TEXMFROOT/tlpkg"); } -my $lastchdate = '$Date: 2017-04-15 02:12:54 +0200 (Sat, 15 Apr 2017) $'; +my $lastchdate = '$Date: 2017-04-26 10:14:28 +0200 (Wed, 26 Apr 2017) $'; $lastchdate =~ s/^\$Date:\s*//; $lastchdate =~ s/ \(.*$//; -my $svnrev = '$Revision: 43794 $'; +my $svnrev = '$Revision: 44056 $'; $svnrev =~ s/^\$Revision:\s*//; $svnrev =~ s/\s*\$$//; my $version = "r$svnrev ($lastchdate)"; @@ -1476,6 +1476,11 @@ sub enable_disable_maps { if ($w =~ m/=/) { # this is --enable MapType=MapName my ($type, $map) = split ('=', $w); + # allow for all lowercase map types (map/mixedmap/kanjimap) + $type =~ s/map$/Map/; + $type = ucfirst($type); + # don't allow for map names containing / + die "$prg: map files cannot be relative/absolute paths: $map\n" if ($map =~ m{/}) enable_map($tc, $type, $map); } else { # this is --disable MapName |