Andreas Jaeger 4f25b964f9 Fail fetch-sphinx-tarball if no html exists ...

If no html is generated but a PDF, the role will succeed. This is wrong,
we always need HTML for the publish step where the logic is: Publish
HTML and optionally PDF.

I run into this when updating tox.ini and breaking html output, the jobs
passed but promote job failed.

Change-Id: I44d15da4c8e1ec0d1f7284daed69dbf5caa40bf0

2020-04-20 12:33:00 +02:00

..

html.yaml

fetch-sphinx: Exclude doctrees directory

2020-01-21 08:32:26 +01:00

main.yaml

Fail fetch-sphinx-tarball if no html exists

2020-04-20 12:33:00 +02:00

pdf.yaml

Switch PDF fetching to known files

2019-08-24 12:24:07 +02:00