gitlab-ci: Don't build PDF user's guide on AArch64

Authored by bgamari on Jun 11 2019, 6:48 PM.

Description

gitlab-ci: Don't build PDF user's guide on AArch64

For reasons I don't understand sphinx seems to fail to produce a .idx
file for makeindex.

(cherry picked from commit 9721b40db9b87c0135613649f9f1e129eb49795b)

Details

Committed
bgamariThu, Aug 22, 6:17 AM
Parents
rGHC4ffb18ea30fd: gitlab-ci: Bump Docker images revision
Branches
Unknown
Tags
Unknown