Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
git: Add a doc output for the HTML and text files #86848
This will install the HTML and text documentation into a separate output
Fixes #86022 (at least partly since the output has to be installed).
Motivation for this change
This is a draft for #86022. It basically works, but we could e.g. discuss if we should install this output by default for
Yes, that's unfortunate and AFAIK we don't have a good solution for this (we could add an alias like
On NixOS there's
This will install the HTML and text documentation into a separate output so that users can install it without having to rebuild Git. Previously only `doc/git/git-subtree.html` was installed (which is now in $doc as well). The current output sizes are as follows: ``` $ du -sh $(nix-build -A git) 47M /nix/store/wyqgalp61kmavx06rams7z8jz177nd8y-git-2.26.2 $ du -sh $(nix-build -A git.doc) 14M /nix/store/6zi22fl5xc3sg23d9shsviinvwk89wvq-git-2.26.2-doc ``` Fixes #86022 (at least partly since the output has to be installed).
@wmertens I applied your changes, feel free to squash the commits (the second one is only for reviewing).
I'm not sure if this change is important enough (mainly since it's difficult to filter the changelog for relevant entries), but I've added a short note anyway ;)