summaryrefslogtreecommitdiffstats
path: root/git-update-server-info.html
diff options
context:
space:
mode:
Diffstat (limited to 'git-update-server-info.html')
-rw-r--r--git-update-server-info.html22
1 files changed, 20 insertions, 2 deletions
diff --git a/git-update-server-info.html b/git-update-server-info.html
index f14fb5edc..681a5082f 100644
--- a/git-update-server-info.html
+++ b/git-update-server-info.html
@@ -749,7 +749,7 @@ git-update-server-info(1) Manual Page
<h2 id="_synopsis">SYNOPSIS</h2>
<div class="sectionbody">
<div class="verseblock">
-<pre class="content"><em>git update-server-info</em></pre>
+<pre class="content"><em>git update-server-info</em> [-f | --force]</pre>
<div class="attribution">
</div></div>
</div>
@@ -765,6 +765,24 @@ generates such auxiliary files.</p></div>
</div>
</div>
<div class="sect1">
+<h2 id="_options">OPTIONS</h2>
+<div class="sectionbody">
+<div class="dlist"><dl>
+<dt class="hdlist1">
+-f
+</dt>
+<dt class="hdlist1">
+--force
+</dt>
+<dd>
+<p>
+ update the info files from scratch.
+</p>
+</dd>
+</dl></div>
+</div>
+</div>
+<div class="sect1">
<h2 id="_output">OUTPUT</h2>
<div class="sectionbody">
<div class="paragraph"><p>Currently the command updates the following files. Please see
@@ -795,7 +813,7 @@ info/refs
<div id="footer">
<div id="footer-text">
Last updated
- 2020-03-10 15:02:33 PDT
+ 2022-10-28 11:53:56 PDT
</div>
</div>
</body>