summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-08-27 17:45:49 +0000
committerKarl Berry <karl@freefriends.org>2009-08-27 17:45:49 +0000
commit5a2a2cd8d334a65bf398aa53a6df59dd930167a2 (patch)
treeda8ee49f02f89f817023ff7067bd126640f8089f /Master/tlpkg/tlpsrc
parentd90a296d0cf73b92fb0e1396865232d8cefbd7da (diff)
sort list of %TLPDBOptions
git-svn-id: svn://tug.org/texlive/trunk@14892 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/00texlive.installation.tlpsrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/00texlive.installation.tlpsrc b/Master/tlpkg/tlpsrc/00texlive.installation.tlpsrc
index 0b49550966f..37f9560cd2c 100644
--- a/Master/tlpkg/tlpsrc/00texlive.installation.tlpsrc
+++ b/Master/tlpkg/tlpsrc/00texlive.installation.tlpsrc
@@ -19,7 +19,7 @@ longdesc All other options are set from TLConfig::TLPDBOptions to the
longdesc default values specified there.
longdesc
longdesc There are two types here:
-longdesc - If the key starts with opt_ this is an options that can be
+longdesc - If the key starts with opt_ this is an option that can be
longdesc set by the user either at installation time or via tlmgr later on
longdesc - If the key starts with setting_ this value cannot be changed
longdesc by the user directly with tlmgr, but only by other actions.