docs Makefile: minor cleanups (!20) · Merge requests · Platform / Development / swh-docs · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

Stefano Zacchiroli requested to merge generated-differential-D882-source into generated-differential-D882-target Jan 07, 2019

do not silence sphinx CLI invocations (it's bad for logs)
avoid $(apidoc_dep) variable (it doesn't exist for any other *-stamp)

Migrated from D882 (view on Phabricator)