diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 91f541a5288490094bbd13adf471a21aab61b12b..b88f666f72bb413105a3c6263935419e103b105d 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -99,7 +99,7 @@ installmandocs: cleandocs: $(Q)rm -rf $(BUILDDIR) - $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) -C Documentation/media clean + $(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=Documentation/media clean endif # HAVE_SPHINX