diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-06-30T15·48+0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-06-30T15·48+0000 |
| commit | 1ea6e064454d10b722c2fd9361f00e6cf3561f08 (patch) | |
| tree | 1d9b0814601a50a0609ab764c64c6872dc6acf50 | |
| parent | 5c9e9f732df6d95d712f25de9880b7461c53d6ca (diff) | |
doc: Fix typo.
| -rw-r--r-- | doc/manual/conf-file.xml | 2 |
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> |