diff --git a/nixos/modules/misc/documentation.nix b/nixos/modules/misc/documentation.nix index f22ea5f9aeb8..1d23b9b72442 100644 --- a/nixos/modules/misc/documentation.nix +++ b/nixos/modules/misc/documentation.nix @@ -163,11 +163,11 @@ in description = '' Whether to install documentation targeted at developers. - This includes man pages targeted at developers if is + This includes man pages targeted at developers if is set (this also includes "devman" outputs). - This includes info pages targeted at developers if + This includes info pages targeted at developers if is set (this also includes "devinfo" outputs). - This includes other pages targeted at developers if + This includes other pages targeted at developers if is set (this also includes "devdoc" outputs). ''; @@ -181,10 +181,10 @@ in This includes man pages like configuration.nix - 5 if is + 5 if is set. This includes the HTML manual and the nixos-help command if - is set. + is set. ''; };