diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit

diff --git a/Documentation/git-update-index.txt b/Documentation/git-update-index.txt
index a14e6aebd9dc8e3b523b4145236fc413e00d4492..75c7dd9dea4d2b6c26b84b99fb21ba75cf1cdcf3 100644 (file)
--- a/Documentation/git-update-index.txt
+++ b/Documentation/git-update-index.txt
@@ -214,7 +214,7 @@ will remove the intended effect of the option.
 Using --refresh
 ---------------
 `--refresh` does not calculate a new sha1 file or bring the index
-up-to-date for mode/content changes. But what it *does* do is to
+up to date for mode/content changes. But what it *does* do is to
 "re-match" the stat information of a file with the index, so that you
 can refresh the index for a file that hasn't been changed but where
 the stat entry is out of date.