unpack-trees: rename 'is_excluded_from_list()'

diff --git a/Documentation/git-update-server-info.txt b/Documentation/git-update-server-info.txt
index 775024da3ed6ed50e8aa587dc31eb79f00030e84..969bb2e15f1070ddc116b408b1eba9c61d496606 100644 (file)
--- a/Documentation/git-update-server-info.txt
+++ b/Documentation/git-update-server-info.txt
@@ -8,7 +8,8 @@ git-update-server-info - Update auxiliary info file to help dumb servers
 
 SYNOPSIS
 --------
-'git update-server-info' [--force]
+[verse]
+'git update-server-info'
 
 DESCRIPTION
 -----------
@@ -18,15 +19,6 @@ $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
 ------