From 4f78c74b57117e5636de37a1300884392f38fc25 Mon Sep 17 00:00:00 2001 From: Sandro Date: Wed, 15 Sep 2021 22:43:44 +0200 Subject: [PATCH] nixos/documentation: use full option names --- nixos/modules/misc/documentation.nix | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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. ''; };