diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLConfig.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLConfig.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLConfig.pm b/Master/tlpkg/TeXLive/TLConfig.pm index 3503cc65271..e065253149a 100644 --- a/Master/tlpkg/TeXLive/TLConfig.pm +++ b/Master/tlpkg/TeXLive/TLConfig.pm @@ -173,6 +173,9 @@ our %TLPDBOptions = ( "w32_multi_user" => [ "b", 0, "multiuser", "Install for shortcuts/menu items for all users (w32)" ], + "generate_updmap" => + [ "b", 0, "generate_updmap", + "Run tlmgr generate updmap after maps have changed" ], ); |