diff options
-rw-r--r-- | Documentation/include.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 8501adc8..9a132962 100644 --- 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 $@+ $@ |