documentation.dev.enable
Whether to install documentation targeted at developers.
- This includes man pages targeted at developers if
documentation.man.enableis set (this also includes "devman" outputs). - This includes info pages targeted at developers if
documentation.info.enableis set (this also includes "devinfo" outputs). - This includes other pages targeted at developers if
documentation.doc.enableis set (this also includes "devdoc" outputs).
- Type
boolean- Default
false- Declared
- <nixpkgs/nixos/modules/misc/documentation.nix>