diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 23:30:54 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 23:30:54 -0700 |
commit | 5d62d4af084d481eca37f66d99586a9712d56b7d (patch) | |
tree | 470a96d9ef18055b45559af67081a39b2ae4c3ef /Makefile | |
parent | 471d331ba58271bdbf067c99a5f1504361af7ff6 (diff) |
Makefile: rebuild README.html if template changes.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |