We need to clone initial pagure repo to build docs from sources, not the docs one.
Good catch, thanks! :)
Pull-Request has been merged by pingou
We need to clone initial pagure repo to build docs from sources, not the
docs one.