diff options
Diffstat (limited to 'Master/tlpkg/installer/installer-options.txt')
| -rw-r--r-- | Master/tlpkg/installer/installer-options.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/tlpkg/installer/installer-options.txt b/Master/tlpkg/installer/installer-options.txt index 495c358b032..38e606d2cdb 100644 --- a/Master/tlpkg/installer/installer-options.txt +++ b/Master/tlpkg/installer/installer-options.txt @@ -5,19 +5,19 @@ description used in install-tl/tlmgr/TLMedia ---------------------------------------------------------------------------- -option_doc 1 x x +option_install_docfiles 1 x x option("install_docfiles") install doc files install-tl: sub do_install_packages TLMedia.pm: sub install_package -option_src 1 x x +option_install_srcfiles 1 x x option("install_srcfiles") install src files install-tl: sub do_install_packages TLMedia.pm: sub install_package -option_fmt 1 x x +option_create_formats 1 x x option("create_formats") create all formats install-tl: sub do_postinst_stuff @@ -59,7 +59,7 @@ option_w32_multi_user 1 w32 w32 w32 install-tl: sub do_path_adjustments TLMedia: remove_package, install_package -option_letter 0 x x x +instopt_letter 0 x x x not saved into the local TLPDB only for install time setting use letter |