diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-28 11:56:06 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-28 11:56:06 -0700 |
commit | cf9c77377796343e741a25077f837f607513c7bb (patch) | |
tree | 9a341606b216f4ed10313aedfeb7e19ecc02d01b /git-update-server-info.txt | |
parent | f1d1635ee1970ac33c5a760b94d069cd7bfc4e99 (diff) | |
download | git-htmldocs-cf9c77377796343e741a25077f837f607513c7bb.tar.gz |
Autogenerated HTML docs for v2.38.1-280-g63bba
Diffstat (limited to 'git-update-server-info.txt')
-rw-r--r-- | git-update-server-info.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/git-update-server-info.txt b/git-update-server-info.txt index 969bb2e15..17e429dbd 100644 --- a/git-update-server-info.txt +++ b/git-update-server-info.txt @@ -9,7 +9,7 @@ git-update-server-info - Update auxiliary info file to help dumb servers SYNOPSIS -------- [verse] -'git update-server-info' +'git update-server-info' [-f | --force] DESCRIPTION ----------- @@ -19,6 +19,12 @@ $GIT_OBJECT_DIRECTORY/info directories to help clients discover what references and packs the server has. This command generates such auxiliary files. +OPTIONS +------- +-f:: +--force:: + update the info files from scratch. + OUTPUT ------ |