7 commits

Author	SHA1	Message	Date
Eelco Dolstra	408b8b5725	Add lots of missing option types	2013-10-30 18:47:43 +01:00
Eelco Dolstra	f4a418761b	Check for undeclared options	2013-10-28 22:45:56 +01:00
Eelco Dolstra	89bd18b3af	Fix manual generation	2013-10-28 22:45:56 +01:00
Eelco Dolstra	20150b1cee	Ensure that the manual job gets build with the right revision info	2013-10-24 19:58:34 +02:00
Eelco Dolstra	d49f141a79	Manual: When building from the channel, link to the exact Git revision	2013-10-24 02:03:10 +02:00
Eelco Dolstra	82ad8c5ce0	Make manual generation not depend on the user's configuration ... Previously changing the value of certain options in configuration.nix would cause the manual to be regenerated, because some option defaults depend on the configuration. This is undesirable because rebuilding the manual is kind of slow. So now the manual reflects an empty configuration. The downside is that this requires another call to fixMergeModules, which adds about 14% to evaluation time. Probably worth it.	2013-10-17 13:43:40 +02:00
Eelco Dolstra	5c1f8cbc70	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00

Renamed from modules/services/misc/nixos-manual.nix (Browse further)