gitlab-ci: Try reenabling PDF documentation on Darwin

Authored by bgamari on Dec 30 2018, 12:49 PM.

Description

gitlab-ci: Try reenabling PDF documentation on Darwin

Carter says that the builder issues have now been sorted.

(cherry picked from commit 66b88dddb3188cc63b4b4f4f065b6548aedfa403)

Details

Committed
bgamariJan 15 2019, 10:25 PM
This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Commit No Longer Exists

This commit no longer exists in the repository.