From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Apr 2021 17:17:31 +0000 (+0100)
Subject: Makefile: Add missing doc on pngs in docs
X-Git-Tag: otter-0.5.0~26
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=500a5748f81e75a986745db42ea6d17f22fd300b;p=otter.git

Makefile: Add missing doc on pngs in docs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/Makefile b/Makefile
index 8eeef04b..0782e9c9 100644
--- a/Makefile
+++ b/Makefile
@@ -232,7 +232,7 @@ doc-sphinx: docs/html/index.html
 	@echo 'Documentation can now be found here:'
 	@echo '  file://$(PWD)/$<'
 
-docs/html/index.html: docs/conf.py $(wildcard docs/*.md docs/*.rst)
+docs/html/index.html: docs/conf.py $(wildcard docs/*.md docs/*.rst docs/*.png)
 	$(SPHINXBUILD) -M html docs docs $(SPHINXOPTS)
 
 #---------- wasm ----------