15 lines
557 B
Diff
15 lines
557 B
Diff
diff -u -r ../bash-completion-2.5/completions/man ./completions/man
|
|
--- ../bash-completion-2.5/completions/man 2016-09-04 17:26:26.000000000 +0200
|
|
+++ ./completions/man 2017-05-25 21:59:14.472791735 +0200
|
|
@@ -57,9 +57,7 @@
|
|
fi
|
|
|
|
local manpath="$MANPATH"
|
|
- [[ -z $manpath ]] && \
|
|
- manpath=$( manpath 2>/dev/null || command man -w 2>/dev/null )
|
|
- [[ -z $manpath ]] && manpath="/usr/share/man:/usr/local/share/man"
|
|
+ [[ -z $manpath ]] && manpath="@TERMUX_PREFIX@/share/man"
|
|
|
|
# determine manual section to search
|
|
local sect
|