Hi,
[EMAIL PROTECTED] (Pjotr Prins) writes:
> Funny, I cannot find the generated docs. It takes 3/4 of the
> build time, but does not install (that I can find).
It's under $out/share/{info,man}.
As far as size is concerned:
$ du -ks
/nix/store/159q0xkg9g0vfzs08n3aa2z6g2mrjabr-git-1.5.5/share/{info,man}
202 /nix/store/159q0xkg9g0vfzs08n3aa2z6g2mrjabr-git-1.5.5/share/info
39 /nix/store/159q0xkg9g0vfzs08n3aa2z6g2mrjabr-git-1.5.5/share/man
So I don't think it's an issue.
As far as build time is concerned: hopefully, the build farm will do the
job for you. ;-)
In addition, using Git without documentation turns out to be pretty
difficult (most commands invoke `man' when run with `--help').
Thus, I'm against removing the documentation, or even making it
optional.
Thanks,
Ludovic.
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
