changeset 515:ffe99c02fa18

Warning about HTML version
author Adam Chlipala <adam@chlipala.net>
date Tue, 15 Oct 2013 08:36:24 -0400
parents 3b21f4395178
children a8377999fcf9
files staging/index.html
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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>