docs: fix filter-branch subdir example for exotic repo names
authorJeff King <peff@peff.net>
Fri, 1 Apr 2011 14:46:27 +0000 (10:46 -0400)
committerJunio C Hamano <gitster@pobox.com>
Fri, 1 Apr 2011 19:17:45 +0000 (12:17 -0700)
commit6cb0186a41335f5e82d1e91abf4ce70938d0a020
treef484c3ec6cfd1e8103e01af1d8e771f48e3f96cb
parent2352570bf43368f3d3931f7b24bb7fd44e68eef3
docs: fix filter-branch subdir example for exotic repo names

The GIT_INDEX_FILE variable we get from git has the full
path to the repo, which may contain spaces. When we use it
in our shell snippet, it needs to be quoted.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-filter-branch.txt