diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-06 21:05:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-06 21:05:15 +0000 |
commit | e72ea92bdfffdb77681710ed4098d42eb1b48126 (patch) | |
tree | a11d7d33ca0dbac2d435463a8d6fdad2eddbf412 /Master/texmf-dist/scripts/ptex-fontmaps | |
parent | 566b1d1ceb3231cbf723b34f8e5950b1c85c3230 (diff) |
ptex-fontmaps (6may19)
git-svn-id: svn://tug.org/texlive/trunk@51023 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/ptex-fontmaps')
-rwxr-xr-x | Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl | 9 | ||||
-rwxr-xr-x | Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl | 4 |
2 files changed, 8 insertions, 5 deletions
diff --git a/Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl b/Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl index 94cfe92dd36..230b0a9a029 100755 --- a/Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl +++ b/Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl @@ -1,6 +1,6 @@ #!/usr/bin/env perl # kanji-config-updmap: setup Japanese font embedding -# Version 20190318.0 +# Version 20190506.0 # # formerly known as updmap-setup-kanji # @@ -22,7 +22,7 @@ use Getopt::Long qw(:config no_autoabbrev ignore_case_always); use strict; my $prg = "kanji-config-updmap"; -my $version = '20190318.0'; +my $version = '20190506.0'; my $updmap_real = "updmap"; my $updmap = $updmap_real; @@ -33,6 +33,7 @@ my $opt_jis = 0; my $opt_sys = 0; my $opt_user = 0; my $opt_old = 0; +my $opt_force = 0; my @opt_mode_list; my $opt_mode_one; my $opt_mode_ja; @@ -52,6 +53,7 @@ if (! GetOptions( "sys" => \$opt_sys, "user" => \$opt_user, "old" => \$opt_old, + "force" => \$opt_force, "version" => sub { print &version(); exit(0); }, ) ) { die "Try \"$0 --help\" for more information.\n"; } @@ -213,6 +215,7 @@ sub Usage { a new updmap with --user option is assumed. If this is not the case, explicitly use --old. --old Makes $prg call `updmap' without --user argument in user mode. + --force Set up font embedding even if the font is not available. --version Show version information and exit EOF @@ -421,7 +424,7 @@ sub SetupReplacement { my $opt_mode = shift; my $rep = shift; if (defined($representatives{$opt_mode}{$rep})) { - if ($representatives{$opt_mode}{$rep}{'available'}) { + if ($representatives{$opt_mode}{$rep}{'available'} || $opt_force) { return SetupMapFile($opt_mode, $rep); } else { printf STDERR "$rep not available, falling back to auto!\n"; diff --git a/Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl b/Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl index b1da19e74a2..dd8e72970dc 100755 --- a/Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl +++ b/Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl @@ -2,7 +2,7 @@ # # kanji-fontmap-creator # (c) 2012-2014 Norbert Preining -# Version: 20190318.0 +# Version: 20190506.0 # Licenced under the GPLv2 or any higher version # # gui to create map files for (kanji-config-)updmap @@ -41,7 +41,7 @@ my $opt_help = 0; my $opt_version = 0; my $prg = "kanji-fontmap-creator"; -my $version = "20190318.0"; +my $version = "20190506.0"; # # global vars configuring operation |