diff options
| author | Emilio Jesus Gallego Arias | 2020-04-28 20:41:07 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-28 20:48:44 +0200 |
| commit | f6725356f22246fbf639ce59def6239905816ece (patch) | |
| tree | 652386e03b0f481aba025a53e391fdf0df4aca32 /dev/ci/ci-basic-overlay.sh | |
| parent | 03ce3fc9ef0bb85d43bb5351b5d109bd0d6743c1 (diff) | |
[doc] [sphinx] Be silent when running latexmk
This is actually supported by Sphinx directly.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions