diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/updmap.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/updmap.pl b/Master/texmf/scripts/texlive/updmap.pl index 777ff9c6030..765c2c6e3a7 100755 --- a/Master/texmf/scripts/texlive/updmap.pl +++ b/Master/texmf/scripts/texlive/updmap.pl @@ -144,6 +144,11 @@ sub main { help() if $opts{'help'}; + if ($opts{'version'}) { + print version(); + exit (0); + } + if ($opts{'_readsave'}) { read_updmap_files($opts{'_readsave'}); print "READING DONE ============================\n"; |