From f62a76f59c16d37d62d0ce82681c45a383eb868d Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Mon, 15 Nov 2010 10:54:34 +0100
Subject: [PATCH] filter for gnu info files

---
 website/features.html | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/website/features.html b/website/features.html
index d760af97..7f23a03f 100644
--- a/website/features.html
+++ b/website/features.html
@@ -126,8 +126,11 @@
         "http://catdoc.klik.atekon.de">catdoc</a> utilities.</li>
 
         <li><span class="literal">CHM (Microsoft help)</span> files
-        (needs <span class="command">Python, pychm or
-        chmlib</span>).</li>
+        with <span class="command">Python, pychm or chmlib</span>.</li>
+
+        <li><span class="literal">GNU info</span> files
+        with <span class="command">Python</span> and the 
+        <span class="command">info</span> command.</li>
 
         <li><span class="literal">Zip</span> archives (needs <span
         class="command">Python</span>).</li>