diff options
author | Karl Berry <karl@freefriends.org> | 2015-07-20 22:13:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-07-20 22:13:28 +0000 |
commit | fd87c7afa537b0f94cd9348e5674241fc3a2e049 (patch) | |
tree | 14b64bbc9aaa5f05408d5e6bc8e962d233618575 /Build/source/texk | |
parent | d0ed4c6b7442c3b8d5334d5dd88b69380f73964b (diff) |
sync/doc
git-svn-id: svn://tug.org/texlive/trunk@37913 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/README | 2 | ||||
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/texlive/updmap.pl | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README index f8c38e76635..5157c8cb4a1 100644 --- a/Build/source/texk/README +++ b/Build/source/texk/README @@ -60,7 +60,7 @@ dvipos - ? dvipsk - maintained here, by us dvisvgm 1.9.2 - checked 12apr15 - http://downloads.sourceforge.net/dvisvgm/ + http://dvisvgm.2ix.de/Downloads gsftopk - from Paul Vojta's xdvi? diff --git a/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl b/Build/source/texk/texlive/linked_scripts/texlive/updmap.pl index e9ff7e9193f..d731507ef90 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 37863 2015-07-17 00:28:48Z preining $ +# $Id: updmap.pl 37866 2015-07-17 19:00:04Z 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 37863 2015-07-17 00:28:48Z preining $'; +my $svnid = '$Id: updmap.pl 37866 2015-07-17 19:00:04Z preining $'; my $TEXMFROOT; BEGIN { @@ -27,10 +27,10 @@ BEGIN { unshift(@INC, "$TEXMFROOT/tlpkg"); } -my $lastchdate = '$Date: 2015-07-17 02:28:48 +0200 (Fri, 17 Jul 2015) $'; +my $lastchdate = '$Date: 2015-07-17 21:00:04 +0200 (Fri, 17 Jul 2015) $'; $lastchdate =~ s/^\$Date:\s*//; $lastchdate =~ s/ \(.*$//; -my $svnrev = '$Revision: 37863 $'; +my $svnrev = '$Revision: 37866 $'; $svnrev =~ s/^\$Revision:\s*//; $svnrev =~ s/\s*\$$//; my $version = "r$svnrev ($lastchdate)"; @@ -2243,7 +2243,7 @@ Commands: --enable MixedMap=MAPFILE add \"MixedMap MAPFILE\" to updmap.cfg --enable KanjiMap=MAPFILE add \"KanjiMap MAPFILE\" to updmap.cfg --disable MAPFILE disable MAPFILE, of whatever type - --listmaps list all maps (details below) (details below) + --listmaps list all maps (details below) --listavailablemaps list available maps (details below) --syncwithtrees disable unavailable map files in updmap.cfg |