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
Newer hotdoc (0.10) introduced several breaking changes which cause the documentation to be misbuilt, so let's explicitly depend on the old version.