Re-enable building of the Git manual