diff --git a/Makefile b/Makefile
index 6468b07847a0a928ea720531547e608b559bb7c1..78a1646c16f02b4af5f3eae2b5d58f1e6c3e62e3 100644
--- a/Makefile
+++ b/Makefile
@@ -24,4 +24,4 @@ librobotcontrol:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)