the manual. While it's a useful feature, it has the unfortunate
side-effect of causing the manual to be rebuilt every time the user
adds an option definition to any module (including
configuration.nix), and rebuilding the manual is rather slow.
svn path=/nixpkgs/trunk/; revision=23110