make: Silence some xelatex output

Authored by bgamari on Dec 30 2018, 3:36 PM.

Description

make: Silence some xelatex output

Currently build logs from GitLab CI around around 7 megabytes each. Of this,
around 2 megabytes is latex output. This is quite silly as essentially all of
this output is unresolved references in the early latex iterations.
Here we silence this output.

However, to make sure that we don't silence errors we allow each xelatex
invocation besides the last to fail.

Details

Committed
bgamariJan 6 2019, 6:27 AM
Parents
rGHC24b39ce53eed: Remove OPTIONS_HADDOCK hide in favour for not-home
Branches
Unknown
Tags
Unknown