diff options
| -rw-r--r-- | doc/manual/command-ref/conf-file.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/command-ref/conf-file.xml b/doc/manual/command-ref/conf-file.xml index 4bd73b2fc828..1728abfd9c59 100644 --- a/doc/manual/command-ref/conf-file.xml +++ b/doc/manual/command-ref/conf-file.xml @@ -244,7 +244,7 @@ flag, e.g. <literal>--option gc-keep-outputs false</literal>.</para> users than root). Currently, chroot builds only work on Linux because Nix uses “bind mounts” to make the Nix store and other directories available inside the chroot. Kernel version 3.13 or later - is needed due to a PID namespace fix nix depends on.</para> + is needed.</para> </listitem> |