From 71d529682d6ad8234fc64998cbf300b3723512e5 Mon Sep 17 00:00:00 2001
From: Felipe Pena <felipe@php.net>
Date: Wed, 31 Oct 2007 00:58:58 +0000
Subject: [PATCH] Fix the option

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@245248 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/mnogosearch/configure.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/reference/mnogosearch/configure.xml b/reference/mnogosearch/configure.xml
index 2d0fb9366f..e8d5b6275a 100644
--- a/reference/mnogosearch/configure.xml
+++ b/reference/mnogosearch/configure.xml
@@ -1,11 +1,11 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.5 $ -->
+<!-- $Revision: 1.6 $ -->
 <section xml:id="mnogosearch.installation" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink">
  &reftitle.install;
  <para>
   In order to have these functions available, you must compile PHP with
   mnoGosearch support by using the
-  <option role="configure">--with-mnogosearch</option>option. If
+  <option role="configure">--with-mnogosearch</option> option. If
   you use this option without specifying the path to mnoGosearch, PHP will
   look for mnoGosearch under <filename>/usr/local/mnogosearch</filename>
   path by default. If you installed mnoGosearch at a different location