summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf/scripts/texlive/updmap.pl5
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";