about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2011-06-30T15·48+0000
committerLudovic Courtès <ludo@gnu.org>2011-06-30T15·48+0000
commit1ea6e064454d10b722c2fd9361f00e6cf3561f08 (patch)
tree1d9b0814601a50a0609ab764c64c6872dc6acf50
parent5c9e9f732df6d95d712f25de9880b7461c53d6ca (diff)
doc: Fix typo.
-rw-r--r--doc/manual/conf-file.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/conf-file.xml b/doc/manual/conf-file.xml
index 44a7ac3885a8..8fb3ff99deb5 100644
--- a/doc/manual/conf-file.xml
+++ b/doc/manual/conf-file.xml
@@ -134,6 +134,8 @@ env-keep-derivations = false
 
     </listitem>
 
+  </varlistentry>
+
   <varlistentry xml:id="conf-build-timeout"><term><literal>build-timeout</literal></term>
 
     <listitem>