git: build documentation in build phase

For build process clarity, build documentation during the build phase.
Without this change, the docs are built during the install phase as
that's when `make` realises they're not yet present.

This also means that the main Git documentation is built before the
contrib/subtree documentation, which is necessary for the subtree
documentation to build successfully in Git v2.48.0-rc0 and -rc1 (and
presumably therefore in v2.48.0 when it is released).

0 files changed, 0 insertions, 0 deletions