diff options
author | Eric Wong <e@80x24.org> | 2019-09-30 21:53:36 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-01 03:40:50 +0000 |
commit | 5981542ebbc555c6d7e5920c75ae3b3cb1727a4b (patch) | |
tree | be39d749575e726a27fc2a9c00c01ad40c772655 /Documentation | |
parent | b27722260936cd68009f7c1bebc90f22794c0d37 (diff) | |
download | public-inbox-5981542ebbc555c6d7e5920c75ae3b3cb1727a4b.tar.gz |
GNU make has order-only prerequisites, so use it to avoid redundant mkdir(1) calls since our homepage requires GNU make to build anyways.
Diffstat (limited to 'Documentation')
-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 $@+ $@ |