7bdcfb33f4
We don't want to build all those things along with the manual, so that's what the defaultText attribute is for. Unfortunately a few of them were missing, so let's add them. Signed-off-by: aszlig <aszlig@redmoonstudios.org>
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.