doc: avoid redundant mkdir(1) calls

GNU make has order-only prerequisites, so use it to avoid
redundant mkdir(1) calls since our homepage requires GNU
make to build anyways.

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 8501adc86873393e9c89aa82c91ecbd23a64c72f..9a132962d9f400a274965983a166808106916cdc 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -125,8 +125,10 @@ gz_xdocs := $(addsuffix .gz, $(xdocs) $(xdocs_html))
 rsync_xdocs := $(gz_xdocs) $(xdocs_html) $(xdocs)
 xdoc: $(xdocs) $(xdocs_html)
 
-Documentation/.x/%.txt::
-       @-mkdir -p $(@D)
+Documentation/.x:
+       mkdir -p $@
+
+Documentation/.x/%.txt :: | Documentation/.x
        $(PERL) -w Documentation/extman.perl $@ >$@+
        mv $@+ $@