# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1386949546 18000
# Node ID 2bcc4e7976d7c21b713f28d0e8d66a5d867cb74c
# Parent  2bd6b00f831f18971bb8442d06d28ba8fee90754
Fix HTML error on index page

diff -r 2bd6b00f831f -r 2bcc4e7976d7 staging/index.html
--- a/staging/index.html	Fri Dec 13 10:32:51 2013 -0500
+++ b/staging/index.html	Fri Dec 13 10:45:46 2013 -0500
@@ -21,7 +21,7 @@
 <h2>Buy a Copy in Print</h2>
 <ul>
 <a href="http://www.amazon.com/gp/product/0262026651/ref=as_li_tf_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0262026651&linkCode=as2&tag=adamchli-20">From Amazon.com</a><img src="http://ir-na.amazon-adsystem.com/e/ir?t=adamchli-20&l=as2&o=1&a=0262026651" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" /><br/>
-<a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book
+<a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a>
 </ul>
 </div>