[PATCH] git-update-index.txt: Document the --really-refresh option.

From

Štěpán Němec <stepnem@gmail.com>

Date

Nov 10, 2009, 18:11 UTC

Message-ID

<20091110181151.GC12012@headley>

Signed-off-by: Štěpán Němec <stepnem@gmail.com>
---
I sent this patch last week, but it seems to somehow have got lost among
other mails. Of course it's nothing fabulous, still I expect at least
somebody to tell me I'm not making any sense ;-)

 Štěpán

Original message:

 Documentation/git-update-index.txt |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/Documentation/git-update-index.txt b/Documentation/git-update-index.txt
index 25e0bbe..6052484 100644
--- a/Documentation/git-update-index.txt
+++ b/Documentation/git-update-index.txt
@@ -99,6 +99,10 @@ in the index e.g. when merging in a commit;
 thus, in case the assumed-untracked file is changed upstream,
 you will need to handle the situation manually.
 
+--really-refresh::
+	Like '--refresh', but checks stat information unconditionally,
+	without regard to the "assume unchanged" setting.
+
 -g::
 --again::
 	Runs 'git-update-index' itself on the paths whose index
@@ -308,7 +312,7 @@ Configuration
 -------------
 
 The command honors `core.filemode` configuration variable.  If
-your repository is on an filesystem whose executable bits are
+your repository is on a filesystem whose executable bits are
 unreliable, this should be set to 'false' (see linkgit:git-config[1]).
 This causes the command to ignore differences in file modes recorded
 in the index and the file mode on the filesystem if they differ only on

-- 
1.6.5.2.74.g610f9.dirty