Pdf builder is broken #16
Description
Since the upgrade of Debian on the server, the version of pdf tools we use have been changed and our PDF builds fail. This is because the generated Docbook is not conform. We should fix WikiRenderer. WIP at laurentj/wikirenderer#6