Fix/doc building

[PProfizi]

Solves #428

The Documentation check passes but the documentation artifact is actually empty (easily verified with its small size of 48 kB, should be more than 100MB).
The last known Documentation generation job to work was here on August 22.
Was rerun to check for unseen change in a dependency, it still passed.

Seems to have started with bump of Graphviz to 0.20.1 here. Cannot find an occurrence before that.

Two problems here:

the documentation check did not see something was wrong with the doc (artifact too small / step too short)
no error was raised although something went obviously wrong

[codecov]

Codecov Report

Merging #472 (81f2599) into master (c592c22) will decrease coverage by 7.48%.
The diff coverage is n/a.

❗ Current head 81f2599 differs from pull request most recent head 21a2bcc. Consider uploading reports for the commit 21a2bcc to get more accurate results

@@            Coverage Diff             @@
##           master     #472      +/-   ##
==========================================
- Coverage   86.48%   78.99%   -7.49%     
==========================================
  Files          65       65              
  Lines        6963     6961       -2     
==========================================
- Hits         6022     5499     -523     
- Misses        941     1462     +521     

[PProfizi]

Solved in #472