From e72ea92bdfffdb77681710ed4098d42eb1b48126 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 6 May 2019 21:05:15 +0000 Subject: ptex-fontmaps (6may19) git-svn-id: svn://tug.org/texlive/trunk@51023 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/scripts/ptex-fontmaps/kanji-config-updmap.pl | 9 ++++++--- Master/texmf-dist/scripts/ptex-fontmaps/kanji-fontmap-creator.pl | 4 ++-- 2 files changed, 8 insertions(+), 5 deletions(-) (limited to 'Master/texmf-dist/scripts/ptex-fontmaps') 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 -- cgit v1.2.3