HomeSoftware Heritage

make-doc: use the docs-assets target instead of the full-sphinx-build docs

Description

make-doc: use the docs-assets target instead of the full-sphinx-build docs

so we do not build each swh-* twice with unavaoidable sphinx wrnings when
building each repo locally.

Details

Provenance
douarddaAuthored on Nov 12 2018, 1:50 PM
douarddaPushed on Nov 12 2018, 4:14 PM
Differential Revision
D650: make-doc: use the docs-assets target instead of the full-sphinx-build docs
Parents
rDDOC26f6c3995874: docs/getting-started: Update pip environment build dependency
Branches
Unknown
Tags
Unknown