diff --git a/doc/manual/conf-file.xml b/doc/manual/conf-file.xml index 44a7ac3885..8fb3ff99de 100644 --- a/doc/manual/conf-file.xml +++ b/doc/manual/conf-file.xml @@ -134,6 +134,8 @@ env-keep-derivations = false + + build-timeout