Created jenkins job to produce the PDFs I just realized that I lost some of my edits in the Spec chapter.
https://ci.inria.fr/pharo-contribution/job/PharoBookWorkInProgress/ws/ https://ci.inria.fr/pharo-contribution/job/PharoBookWorkInProgress/1/artifact/Spec/ Stef
