gitlab-ci: Fix doc-tarball job

Authored by bgamari on Tue, Jul 2, 11:21 AM.

Description

gitlab-ci: Fix doc-tarball job

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

Fixes Trac #16890.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Wed, Jul 3, 8:34 AM
Parents
rGHCacd795583625: Add support for SIMD operations in the NCG
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC973c61b526d2: gitlab-ci: Fix doc-tarball job (authored by bgamari).Wed, Jul 3, 8:34 AM