diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLConfig.pm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/TeXLive/TLConfig.pm b/Master/tlpkg/TeXLive/TLConfig.pm index f5917e8406f..4701bde8284 100644 --- a/Master/tlpkg/TeXLive/TLConfig.pm +++ b/Master/tlpkg/TeXLive/TLConfig.pm @@ -169,10 +169,10 @@ our %TLPDBOptions = ( [ "p", "/usr/local/bin", "sys_bin", "Destination for symlinks for binaries" ], "sys_info" => - [ "p", "/usr/local/info", "sys_info", + [ "p", "/usr/local/share/info", "sys_info", "Destination for symlinks for info docs" ], "sys_man" => - [ "p", "/usr/local/man", "sys_man", + [ "p", "/usr/local/share/man", "sys_man", "Destination for symlinks for man pages" ], "w32_multi_user" => [ "b", 0, "multiuser", |