[bug?] docs in Documentation/technical/ do not seem to be distributed

It's possible this may have nothing to do with the Git project itself because I have absolutely no idea how this is handled on the packaging side or, possibly, if this is actually intended.

There are a couple of links floating around in the man pages pointing to pages in technical/, such as to technical/api-credentials.html in gitcredentials(7) [1]. On the website and man pages for Arch Linux and Ubuntu, this link is broken.

On the website, nothing in technical/ seems to be linked to at all. (If it is, I didn't spend enough time searching.)

On Arch (git v2.12.2), this link points at /usr/share/doc/git-doc/technical/api-credentials.html; however, this file does not exist:

$ ls /usr/share/doc/git-doc git-subtree.html

On Ubuntu 16.04 LTS (git v2.11.0 from the git-core PPA), this link points at /usr/share/doc/git/html/technical/api-credentials.html; however, this file does not exist:

$ ls /usr/share/doc/git/ changelog.Debian.gz changelog.gz contrib copyright NEWS.Debian.gz README.Debian README.emacs README.md README.source RelNotes

[1] https://github.com/git/git/blob/v2.12.2/Documentation/gitcredentials.txt#L184