diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 8af0ac839..5c2f19154 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1717,7 +1717,7 @@ parse_second() ;; --help|help) - usage + man -l ${PTXDIST_TOPDIR}/man/ptxdist.1.gz exit ;; |