diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/mupdmap.pl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/mupdmap.pl b/Master/texmf/scripts/texlive/mupdmap.pl index 9034d1953e6..fc048e0a395 100755 --- a/Master/texmf/scripts/texlive/mupdmap.pl +++ b/Master/texmf/scripts/texlive/mupdmap.pl @@ -309,9 +309,10 @@ sub main { for my $o (@{$opts{'showoption'}}) { if (defined($settings{$o})) { my ($v, $vo) = get_cfg($o); - print "$o: $v ($vo)\n"; + $v = "\"$v\"" if ($v =~ m/\s/); + print "$o=$v ($vo)\n"; } else { - print "$prg: unknown option: $o\n"; + printf STDERR "$prg: unknown option: $o\n"; } } exit 0; |