From 32acfa55af0db0d3d1b68b457bcf968fc8d1b4c2 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 22 Oct 2013 14:38:41 -0400 Subject: [PATCH 1/1] Add link from top-level index.html to the whitepaper. --- tools/htdocs/index.html | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html index 1d9b45a..1d929b5 100644 --- a/tools/htdocs/index.html +++ b/tools/htdocs/index.html @@ -117,13 +117,14 @@

- Documentation is as yet in short supply: + Documentation: