From 882aeb9aa5974ef516f00f39b425af0ff09808c1 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Wed, 22 Apr 2020 14:35:00 +0100
Subject: [PATCH] Makefile: HTML generation should depend on edithtml.sh.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f085bd4c..616df272 100644
--- a/Makefile
+++ b/Makefile
@@ -25,10 +25,10 @@ rst2html5 -v --title="$(TITLE)" $< >$@
 ./edithtml.sh $@
 endef
 
-index.html: README.rst
+index.html: README.rst edithtml.sh
 	$(PROCESSRST)
 
-%.html: %.rst
+%.html: %.rst edithtml.sh
 	$(PROCESSRST)
 
 README.rst: .zipfilelist.current makeindex.sh README.template $(wildcard zip-*.rst)