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
..
autofs.nix
cgminer.nix
disnix.nix
felix.nix
folding-at-home.nix
gpsd.nix
gurobi.nix	Add gurobi token server service	2013-10-16 11:02:05 -04:00
nix-daemon.nix	Rename /etc/nix.machines to /etc/nix/machines	2013-10-16 10:57:25 +02:00
nix-gc.nix
nixos-manual.nix	Make manual generation not depend on the user's configuration	2013-10-17 13:43:40 +02:00
rogue.nix
svnserve.nix
synergy.nix