diff --git a/doc/manual/command-ref/conf-file.xml b/doc/manual/command-ref/conf-file.xml
index 26fe58d04..fd09883be 100644
--- a/doc/manual/command-ref/conf-file.xml
+++ b/doc/manual/command-ref/conf-file.xml
@@ -135,7 +135,6 @@ false.
-
builders
@@ -159,7 +158,6 @@ false.
-
build-users-groupThis options specifies the Unix group containing
@@ -210,7 +208,6 @@ false.
-
connect-timeout
@@ -243,7 +240,6 @@ false.
-
extra-sandbox-paths
@@ -283,7 +279,6 @@ false.
-
fallbackIf set to true, Nix will fall
@@ -293,7 +288,6 @@ false.
-
fsync-metadataIf set to true, changes to the
@@ -304,7 +298,6 @@ false.
-
hashed-mirrorsA list of web servers used by
@@ -367,10 +360,8 @@ builtins.fetchurl {
options a store path was built), so by default this option is on.
Turn it off to save a bit of disk space (or a lot if
keep-outputs is also turned on).
-
-
keep-env-derivationsIf false (default), derivations
@@ -394,7 +385,6 @@ builtins.fetchurl {
-
keep-outputsIf true, the garbage collector
@@ -408,10 +398,8 @@ builtins.fetchurl {
only at build time (e.g., the C compiler, or source tarballs
downloaded from the network). To prevent it from doing so, set
this option to true.
-
-
max-build-log-size
@@ -444,10 +432,8 @@ builtins.fetchurl {
overridden using the ()
command line switch.
-
-
max-silent-time
@@ -603,7 +589,6 @@ password my-password
-
repeatHow many times to repeat builds to check whether
@@ -615,7 +600,6 @@ password my-password
-
require-sigsIf set to true (the default),
@@ -679,7 +663,6 @@ password my-password
-
sandbox-dev-shm-sizeThis option determines the maximum size of the
@@ -745,7 +728,6 @@ password my-password
-
substitutersA list of URLs of substituters, separated by
@@ -754,7 +736,6 @@ password my-password
-
systemThis option specifies the canonical Nix system
@@ -795,7 +776,6 @@ password my-password
-
trusted-public-keysA whitespace-separated list of public keys. When
@@ -806,7 +786,6 @@ password my-password
-
trusted-substitutersA list of URLs of substituters, separated by
@@ -819,7 +798,6 @@ password my-password
-
trusted-users
@@ -845,9 +823,178 @@ password my-password
-
+
+ Deprecated Settings
+
+
+
+
+
+
+ binary-caches
+
+ Deprecated:
+ binary-caches is now an alias to
+ .
+
+
+
+ binary-cache-public-keys
+
+ Deprecated:
+ binary-cache-public-keys is now an alias to
+ .
+
+
+
+ build-compress-log
+
+ Deprecated:
+ build-compress-log is now an alias to
+ .
+
+
+
+ build-cores
+
+ Deprecated:
+ build-cores is now an alias to
+ .
+
+
+
+ build-extra-chroot-dirs
+
+ Deprecated:
+ build-extra-chroot-dirs is now an alias to
+ .
+
+
+
+ build-extra-sandbox-paths
+
+ Deprecated:
+ build-extra-sandbox-paths is now an alias to
+ .
+
+
+
+ build-fallback
+
+ Deprecated:
+ build-fallback is now an alias to
+ .
+
+
+
+ build-max-jobs
+
+ Deprecated:
+ build-max-jobs is now an alias to
+ .
+
+
+
+ build-max-log-size
+
+ Deprecated:
+ build-max-log-size is now an alias to
+ .
+
+
+
+ build-max-silent-time
+
+ Deprecated:
+ build-max-silent-time is now an alias to
+ .
+
+
+
+ build-repeat
+
+ Deprecated:
+ build-repeat is now an alias to
+ .
+
+
+
+ build-timeout
+
+ Deprecated:
+ build-timeout is now an alias to
+ .
+
+
+
+ build-use-chroot
+
+ Deprecated:
+ build-use-chroot is now an alias to
+ .
+
+
+
+ build-use-sandbox
+
+ Deprecated:
+ build-use-sandbox is now an alias to
+ .
+
+
+
+ build-use-substitutes
+
+ Deprecated:
+ build-use-substitutes is now an alias to
+ .
+
+
+
+ gc-keep-derivations
+
+ Deprecated:
+ gc-keep-derivations is now an alias to
+ .
+
+
+
+ gc-keep-outputs
+
+ Deprecated:
+ gc-keep-outputs is now an alias to
+ .
+
+
+
+ env-keep-derivations
+
+ Deprecated:
+ env-keep-derivations is now an alias to
+ .
+
+
+
+ extra-binary-caches
+
+ Deprecated:
+ extra-binary-caches is now an alias to
+ .
+
+
+
+ trusted-binary-caches
+
+ Deprecated:
+ trusted-binary-caches is now an alias to
+ .
+
+
+
+
+