diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 22:31:15 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 22:56:33 -0700 |
| commit | b15d2b81c2ce3f6b29f790541abeabe36f433562 (patch) | |
| tree | 2ba4267333cfb04df3be34f00929ce28b337205b /Makefile | |
| parent | 5cff19421421948a32382b7c046841eb7a62c992 (diff) | |
Makefile: Added README.html target.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -8,6 +8,9 @@ PROG=./stmd .PHONY: all oldtests test spec benchjs testjs all: $(SRCDIR)/case_fold_switch.c $(PROG) +README.html: README.md + pandoc -S -s -t html5 -o $@ $< + spec: test spec.html spec.md: spec.txt |