diff options
author | 2009-02-15 14:39:35 +0000 | |
---|---|---|
committer | 2009-02-15 14:39:35 +0000 | |
commit | fd7d95ea636342ca160830add2f81e00fab15f34 (patch) | |
tree | 5d01ec98c327d99f4b610f37344b567d61557290 /hooks | |
parent | ca5ba56d414c0eb1936cb06bb6fec51ca47c57df (diff) | |
download | paludis-fd7d95ea636342ca160830add2f81e00fab15f34.tar.gz paludis-fd7d95ea636342ca160830add2f81e00fab15f34.tar.xz |
Fix INFOPATH handling.
Fixes: ticket:725
Diffstat (limited to 'hooks')
-rwxr-xr-x | hooks/gnu_info_index.bash | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hooks/gnu_info_index.bash b/hooks/gnu_info_index.bash index eb3dffd59..0f659c3b1 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}" ) |