summaryrefslogtreecommitdiff
path: root/Master/tlpkg/installer/installer-options.txt
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2017-04-16 02:13:17 +0000
committerNorbert Preining <preining@logic.at>2017-04-16 02:13:17 +0000
commit6953459a76c7d73e4cd1a2bfb57878c8f66e98fb (patch)
treec70ac38cf6a90f66d4ef3242e7dc4a08415ee13a /Master/tlpkg/installer/installer-options.txt
parent219afd32966778a9ba24a031a7a820c3288b4eba (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.txt8
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