Ben Gamari authored Jul 02, 2019 and Marge Bot committed Jul 03, 2019

Previously we used the deb9-debug job which used the `validate` build
flavour which disabled `BUILD_SPHINX_PDF`. Fix this.

Fixes #16890.