From 660aebdd788b5d7e2571b3d7bfdce49ee7de8362 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Wed, 6 Feb 2008 17:49:15 +0000
Subject: [PATCH] Make a note that hevea 1.10 produces odd looking html.  Also
 note that 1.06 works nicely.

---
 docs/cmu-user/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/cmu-user/Makefile b/docs/cmu-user/Makefile
index 5cc85238e..7ec1c8d4c 100644
--- a/docs/cmu-user/Makefile
+++ b/docs/cmu-user/Makefile
@@ -20,7 +20,8 @@
 # generated using the Hevea tool, which is available from
 # <URL:http://pauillac.inria.fr/~maranget/hevea/>. The HTML files are
 # then split into sections using the hacha tool (distributed with
-# hevea), and cleaned up using tidy.
+# hevea), and cleaned up using tidy.  Note that hevea 1.10 produces
+# HTML that looks a bit weird.  However, hevea 1.06 works nicely.
 #
 # The generated DVI file should include clickable hyperlinks. The PDF
 # output should include a hyperlinked table of contents, hyperlinked
-- 
GitLab