diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-03 21:53:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-03 21:53:20 +0000 |
commit | b808864ef57307481a90db18a77971e513551099 (patch) | |
tree | cb088c651b4539f5793e79ff9ab2d00a14d00c27 /Master/tlpkg/installer | |
parent | ffd906c0a7a7b89115a604078785a42d7d6146a8 (diff) |
wording
git-svn-id: svn://tug.org/texlive/trunk@46802 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/installer')
-rw-r--r-- | Master/tlpkg/installer/install-menu-text.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index ea09b06dfe0..516c6d72ba2 100644 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -793,7 +793,7 @@ sub options_menu { print <<"EOF"; <P> use letter size instead of A4 by default: $b_letter <E> execution of restricted list of programs: $b_restricted - <F> create format files: $b_fmt + <F> create all format files: $b_fmt EOF ; if ($vars{'doc_splitting_supported'} and !$opt_in_place) { |