Charles Wilson wrote:
> -    */ ) sourcebase=`echo "$local_gnulib_dir" | sed -e 
> "$sed_trimtrailingslashes"` ;;
> +    */ ) local_gnulib_dir=`echo "$local_gnulib_dir" | sed -e 
> "$sed_trimtrailingslashes"` ;;

Thanks, applied.

Bruno


Reply via email to