tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-15 04:04:18 +01:00
Code Issues Packages Projects Releases Wiki Activity
138862 commits 213 branches 129 tags 14 GiB
Commit graph

3 commits

Author SHA1 Message Date
Jan Malakhovski fbd4563b53 nixos: documentation: implement documentation.dev.enable option 
I know that "devinfo" output does not currently exist, but so does "devman".
It is mentioned in the nixpkgs manual, but no derivation in nixpkgs actually uses it.
 2018-04-23 15:08:58 +02:00
Jan Malakhovski 483815a743 nixos: documentation: move some code around, make docstrings more informative 2018-04-23 15:08:58 +02:00
Jan Malakhovski 98fd9b7f86 nixos: doc: introduce documentation config subtree 2018-03-30 06:52:26 +00:00