Explicitly depend on the hotdoc-0.8 branch

Newer hotdoc (0.10) introduced several breaking changes which cause the documentation to be misbuilt, so let's explicitly depend on the old version.

Edited by Emanuele Aina

Merge request reports

Loading