From 5d62d4af084d481eca37f66d99586a9712d56b7d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 13 Aug 2014 23:30:54 -0700
Subject: Makefile: rebuild README.html if template changes.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4a86e44..49ba83c 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ PROG=./stmd
 .PHONY: all oldtests test spec benchjs testjs
 all: $(SRCDIR)/case_fold_switch.c $(PROG)
 
-README.html: README.md
+README.html: README.md template.html
 	pandoc --template template.html -S -s -t html5 -o $@ $<
 
 spec: test spec.html
-- 
cgit v1.2.3