diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx
index 48b2b0241a3af28caaceac4095f8f82544f9a628..8284f3d1b022a253fa3b00a09d60d2f9ccf06881 100644
--- a/Documentation/Makefile.sphinx
+++ b/Documentation/Makefile.sphinx
@@ -98,9 +98,13 @@ endif # HAVE_SPHINX
 
 # no-ops for the Sphinx toolchain
 sgmldocs:
+	@:
 psdocs:
+	@:
 mandocs:
+	@:
 installmandocs:
+	@:
 
 cleandocs:
 	$(Q)rm -rf $(BUILDDIR)