From dfb4811e42759eaaf7a5010de10cdb1cbc77a2f4 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Fri, 29 Jul 2011 13:08:40 +0000
Subject: [PATCH] Add comments to our config file html2textrc to explain how to
 use it.

---
 Installation/html2textrc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Installation/html2textrc b/Installation/html2textrc
index e55c1237f43..4d909c988fb 100644
--- a/Installation/html2textrc
+++ b/Installation/html2textrc
@@ -1,3 +1,10 @@
+# To be used with html2text
+#   http://www.mbayer.de/html2text/
+#
+# The command line is:
+#   html2text -rcfile html2textrc changes.html >| CHANGES
+# and then manually remove the first lines about releases history.
+
 #release line
 H2.prefix = -------------------------------- 
 H2.suffix = \ --------------------------------