From 31cca8ff6df2a2d3d37be629ef1defdbf35202c3 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
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(-)

(limited to 'Makefile')

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