From 52939d5517da5b8fec593b8de7d1dd9dcd0bbcd2 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Wed, 2 Sep 2015 07:32:48 +0200
Subject: [PATCH] doc

---
 src/doc/user/usermanual.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/doc/user/usermanual.xml b/src/doc/user/usermanual.xml
index 035e3c46..adde69d7 100644
--- a/src/doc/user/usermanual.xml
+++ b/src/doc/user/usermanual.xml
@@ -4930,8 +4930,8 @@ except:
         </listitem>
 
         <listitem>
-          <para>Development files for Python (or use
-          <literal>--disable-python-module</literal>).</para>
+          <para>Development files for <application>Python</application 
+          (or use <literal>--disable-python-module</literal>).</para>
         </listitem>
 
         <listitem>