# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1381840584 14400
# Node ID ffe99c02fa18b73f091e784109e680503db51030
# Parent  3b21f43951789a808d1c34ee6482e40b5629037f
Warning about HTML version

diff -r 3b21f4395178 -r ffe99c02fa18 staging/index.html
--- a/staging/index.html	Thu Sep 26 15:26:12 2013 -0400
+++ b/staging/index.html	Tue Oct 15 08:36:24 2013 -0400
@@ -21,7 +21,7 @@
 <h2>Distribution Formats</h2>
 <ul>
 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
-<li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
+<li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a> [note that the author focuses on the PDF version and doesn't make an effort to keep the HTML version particularly pleasant to use]</li>
 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
 <li> <a href="updates.rss">RSS feed of updates</a></li>