diff options
author | Karl Berry <karl@freefriends.org> | 2015-12-14 00:29:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-12-14 00:29:06 +0000 |
commit | 277d140d4a9a44100da255a453e99fd0cb58e85d (patch) | |
tree | 69400d588d3fdbfbe8e2dfa7402ef198c3d623cf /Master/tlpkg/bin/tl-prune-platforms | |
parent | f5bb8363669fc868e296be8df0f1d2394847f29a (diff) |
set PATH for fmtutil in check-fmttriggers, doc tweaks
git-svn-id: svn://tug.org/texlive/trunk@39098 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-prune-platforms')
-rwxr-xr-x | Master/tlpkg/bin/tl-prune-platforms | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-prune-platforms b/Master/tlpkg/bin/tl-prune-platforms index 2d2acd0f00a..0536c3e9dab 100755 --- a/Master/tlpkg/bin/tl-prune-platforms +++ b/Master/tlpkg/bin/tl-prune-platforms @@ -124,9 +124,13 @@ tl-prune-platforms [I<option>] [I<platform>] ... =over 4 -=item B<-help> +=item B<--help> -Print this documentation and exit. +Display this documentation and exit. + +=item B<--version> + +Display version information and exit. =back |