From 83db157c35980f167b6289f1fa144d247f73601b Mon Sep 17 00:00:00 2001
From: Michael Scherer <mscherer@users.noreply.github.com>
Date: Tue, 18 Sep 2018 00:31:39 +0200
Subject: [PATCH] Add a default man path (#45689)

It seems that on some Linux distribution (Fedora 28, Debian), man will
not fallback on a default path if MANPATH is set. So using the env-setup
script will prevent man from working.
---
 hacking/env-setup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking/env-setup b/hacking/env-setup
index f9b6aeae9cc..ae173454abf 100644
--- a/hacking/env-setup
+++ b/hacking/env-setup
@@ -20,7 +20,7 @@ prepend_path()
 # Default values for shell variables we use
 PYTHONPATH=${PYTHONPATH-""}
 PATH=${PATH-""}
-MANPATH=${MANPATH-""}
+MANPATH=${MANPATH-$(manpath)}
 PYTHON=$(which python 2>/dev/null || which python3 2>/dev/null)
 PYTHON_BIN=${PYTHON_BIN-$PYTHON}