diff --git a/Makefile.local b/Makefile.local
index 7dfc268..9ffca5c 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -1,3 +1,9 @@
 
 check-mypy:
 	@echo "no op - swh-docs does not need typechecking, skipping"
+
+all:
+	@echo Building the whole documentation from source code repositories
+	@echo available in ../ via tox. This can take a while.
+	@echo Please be patient.
+	tox -r -e sphinx-dev