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.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 13 2019, 1:51 AM
Parents
rGHC70b5eefe0982: users-guide: Fix a few markup issues
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9721b40db9b8: gitlab-ci: Don't build PDF user's guide on AArch64 (authored by bgamari).Jun 13 2019, 1:51 AM