Requested change

Signed-off-by: Rob Gill <rrobgill@protonmail.com>
This commit is contained in:
Rob Gill 2018-06-02 14:14:55 +10:00 committed by GitHub
parent d01a568b8b
commit 9970f3786f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1198,7 +1198,7 @@ install_manpage() {
# Default location for man files for /usr/local/bin is /usr/local/share/man # Default location for man files for /usr/local/bin is /usr/local/share/man
# on lightweight systems may not be present, so check before copying. # on lightweight systems may not be present, so check before copying.
echo -en " ${INFO} Testing man page installation" echo -en " ${INFO} Testing man page installation"
if ! command -v mandb; then if ! command -v mandb &>/dev/null; then
# if mandb is not present, no manpage support # if mandb is not present, no manpage support
echo -e "${OVER} ${INFO} man not installed" echo -e "${OVER} ${INFO} man not installed"
return return