# this is from /usr/sbin/update-info-dir
*/info)
- find $dir -type f | while read file ; do
+ find $dir -type f | while read -r file ; do
case $file in
*/dir|*/dir.gz|*/dir.old|*/dir.old.gz|*-[0-9]|*-[0-9].gz|*-[1-9][0-9]|*-[1-9][0-9].gz|*.png|*.jpg)
# these files are ignored
# ignore relative
[^/]*) : ;;
*)
- for file in $dir/*.info*; do
+ for file in "$dir"/*.info*; do
echo $file
sudo install-info "$file" "$INFODIR/dir"
done