aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2009-02-15 14:39:35 +0000
committerAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2009-02-15 14:39:35 +0000
commitfd7d95ea636342ca160830add2f81e00fab15f34 (patch)
tree5d01ec98c327d99f4b610f37344b567d61557290
parentca5ba56d414c0eb1936cb06bb6fec51ca47c57df (diff)
downloadpaludis-fd7d95ea636342ca160830add2f81e00fab15f34.tar.gz
paludis-fd7d95ea636342ca160830add2f81e00fab15f34.tar.xz
Fix INFOPATH handling.
Fixes: ticket:725
-rwxr-xr-xhooks/gnu_info_index.bash4
1 files changed, 2 insertions, 2 deletions
diff --git a/hooks/gnu_info_index.bash b/hooks/gnu_info_index.bash
index eb3dffd..0f659c3 100755
--- a/hooks/gnu_info_index.bash
+++ b/hooks/gnu_info_index.bash
@@ -1,7 +1,7 @@
#!/usr/bin/env bash
# vim: set et sw=4 sts=4 :
-# Copyright (c) 2006, 2007, 2008 Ciaran McCreesh
+# Copyright (c) 2006, 2007, 2008, 2009 Ciaran McCreesh
#
# This file is part of the Paludis package manager. Paludis is free software;
# you can redistribute it and/or modify it under the terms of the GNU General
@@ -29,7 +29,7 @@ einfo_unhooked "Checking whether the GNU info directory needs updating..."
regen_info_dirs=
vdb_loc=$(${PALUDIS_COMMAND} --configuration-variable installed location )
-for info_path in ${INFOPATH/:/ } ; do
+for info_path in ${INFOPATH//:/ } ; do
info_path="${ROOT%/}/${info_path}"
[[ -d "${info_path}" ]] || continue
info_time=$(wrapped_getmtime "${info_path}" )