diff options
author | Norbert Preining <preining@logic.at> | 2017-04-16 02:13:17 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2017-04-16 02:13:17 +0000 |
commit | 6953459a76c7d73e4cd1a2bfb57878c8f66e98fb (patch) | |
tree | c70ac38cf6a90f66d4ef3242e7dc4a08415ee13a /Master/tlpkg/installer/installer-options.txt | |
parent | 219afd32966778a9ba24a031a7a820c3288b4eba (diff) |
more variable standardization for installer options
we now use instopt_ as prefix for installer only options that
are not saved into the TLPDB.
git-svn-id: svn://tug.org/texlive/trunk@43824 c570f23f-e606-0410-a88d-b1316a301751
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 |