On 25 Sep 2019, at 15:22, Ben Coman <btc@openinworld.com> wrote:



On Wed, 25 Sep 2019 at 13:51, St��phane Ducasse <stephane.ducasse@inria.fr> wrote:
Hi 

Normally each time a PR is integrated in a book, the CI is generating the PDF. 

So what you can do is to not bother and copy-edit and we fix the corresponding pillar 
if you break it. 

Hey Stef :)
I'm guessing you mean to encourage Ted to "not worry" rather than "not bother"

Yes :)


cheers -ben