summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-prune-platforms
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-12-14 00:29:06 +0000
committerKarl Berry <karl@freefriends.org>2015-12-14 00:29:06 +0000
commit277d140d4a9a44100da255a453e99fd0cb58e85d (patch)
tree69400d588d3fdbfbe8e2dfa7402ef198c3d623cf /Master/tlpkg/bin/tl-prune-platforms
parentf5bb8363669fc868e296be8df0f1d2394847f29a (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-xMaster/tlpkg/bin/tl-prune-platforms8
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