From 31cca8ff6df2a2d3d37be629ef1defdbf35202c3 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 17 Aug 2014 17:33:07 -0700 Subject: update-site: Don't copy README.html to index.html. We'll make index.html a separate document. --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 40758bc..1357c3f 100644 --- a/Makefile +++ b/Makefile @@ -60,7 +60,6 @@ fuzztest: time cat /dev/urandom | head -c 100000 | iconv -f latin1 -t utf-8 | $(PROG) >/dev/null; done update-site: README.html spec.html - cp README.html _site/index.html cp spec.html _site/ cp -r js/* _site/js/ -- cgit v1.2.3