diff options
| -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> |