2018-05-13 01:37:03 +02:00
|
|
|
diff -u -r ../bash-completion-2.8/completions/man ./completions/man
|
|
|
|
|
--- ../bash-completion-2.8/completions/man 2018-03-17 01:02:23.000000000 +0100
|
|
|
|
|
+++ ./completions/man 2018-05-13 01:31:56.406265511 +0200
|
|
|
|
|
@@ -51,8 +51,7 @@
|
|
|
|
|
return
|
2017-05-25 22:16:35 +02:00
|
|
|
fi
|
|
|
|
|
|
2018-05-13 01:37:03 +02:00
|
|
|
- local manpath=$( manpath 2>/dev/null || command man -w 2>/dev/null )
|
2017-05-25 22:16:35 +02:00
|
|
|
- [[ -z $manpath ]] && manpath="/usr/share/man:/usr/local/share/man"
|
2018-05-13 01:37:03 +02:00
|
|
|
+ local manpath="@TERMUX_PREFIX@/share/man"
|
2017-05-25 22:16:35 +02:00
|
|
|
|
|
|
|
|
# determine manual section to search
|
|
|
|
|
local sect
|
