Makefile: only try to run docs/% targets if the Makefile exists (!190) · Merge requests · Platform / Development / swh-environment · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

Nicolas Dandrimont requested to merge generated-differential-D7738-source into generated-differential-D7738-target May 04, 2022

swh-docs build will break if the docs/ directory of a submodule does not exist, even if the submodule is not hooked up to the docs build yet.

Test Plan

tox -e sphinx-dev in swh-docs

Migrated from D7738 (view on Phabricator)