From 57348105a2a08ec246f34cbdcdf6d2de369d9e9e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= <vcunat@gmail.com>
Date: Sat, 9 May 2015 14:58:40 +0200
Subject: [PATCH] doc/stdenv: fix manual build after #7711

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

diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index a03b3716a87b..6fdebda09f98 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -545,13 +545,13 @@ script) if it exists.</para>
     such.</para></footnote>.  If this is undesirable, set this
     variable to true.</para></listitem>
   </varlistentry>
-  
+
   <varlistentry>
     <term><varname>dontDisableStatic</varname></term>
     <listitem><para>By default, when the configure script has
     <option>--enable-static</option>, the option
     <option>--disable-static</option> is added to the configure flags.</para>
-    <para></para>If this is undesirable, set this variable to
+    <para>If this is undesirable, set this variable to
     true.</para></listitem>
   </varlistentry>