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