Pjotr Prins writes: > Do we need all that documentation in the git package?
Yes, I would like to have it installed. Unless, when I'm installing a server on which I don't really work interactively, then I want no extensive documentation installed. :-) > Maybe we ought to split it out. Any policies in this regard? My preferred solution is to be able to choose, i.e. I would like to set a "doc" option in .nixpkgs/config.nix. How about the following approach? getConfig [ "git" "doc" ] (getConfig [ "doc" ] false) This way, users could set that 'doc' flag globally, but still override the setting per-package. Peter _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
