Re: [boost] Error in setup_boostbook.sh

Does it work with just this fix or did it need others as well?

It seems that the wrong URL was the only error. Does anyone confirm that? Regards.