aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xhooks/gnu_info_index.bash3
1 files changed, 3 insertions, 0 deletions
diff --git a/hooks/gnu_info_index.bash b/hooks/gnu_info_index.bash
index 4b96e5900..ce9337438 100755
--- a/hooks/gnu_info_index.bash
+++ b/hooks/gnu_info_index.bash
@@ -27,6 +27,9 @@ fi
echo
einfo_unhooked "Checking whether the GNU info directory needs updating..."
+# ticket:767
+export INFOPATH=$(source /etc/profile.env 2>/dev/null ; echo $INFOPATH )
+
regen_info_dirs=
vdb_loc=$(${PALUDIS_COMMAND} --configuration-variable installed location )
for info_path in ${INFOPATH//:/ } ; do