summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2021-08-29 11:11:26 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2021-08-29 11:11:26 +0100
commita9e71bd7605033cfffe4c9a8da2ea028d959dd3a (patch)
tree429d312b2b54b6eb8273fb7f23e47199e99c6823 /manual
parentffee03bb71c6cfa2845db565c4302e8eb3ad9702 (diff)
downloadocaml-a9e71bd7605033cfffe4c9a8da2ea028d959dd3a.tar.gz
Fix incorrect pattern rule
Diffstat (limited to 'manual')
-rw-r--r--manual/src/html_processing/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/src/html_processing/Makefile b/manual/src/html_processing/Makefile
index 821185a14d..500374b4e4 100644
--- a/manual/src/html_processing/Makefile
+++ b/manual/src/html_processing/Makefile
@@ -59,7 +59,7 @@ $(WEBDIRAPI)/search_icon.svg: | $(WEBDIRAPI)
$(WEBDIRCOMP)/%: $(WEBDIRAPI)/% | $(WEBDIRCOMP)
cp $< $@
-$(WEBDIRMAIN)/%: $(WEBDIRAPI/% | $(WEBDIRAPI)
+$(WEBDIRMAN)/%: $(WEBDIRAPI)/% | $(WEBDIRMAN)
cp $< $@
LOGO := colour-logo.svg