diff --git a/Documentation/Makefile b/Documentation/Makefile index d079d7c73a..623f1a866d 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -331,6 +331,7 @@ clean: $(RM) SubmittingPatches.txt $(RM) $(cmds_txt) $(mergetools_txt) *.made $(RM) manpage-base-url.xsl + '$(SHELL_PATH_SQ)' ./doc-diff --clean $(MAN_HTML): %.html : %.txt asciidoc.conf $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \