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