[Docbook-tools-build] Jenkins build is back to normal : docbook-tools-ci #4

Back to the list