Re: [PATCH] (Really) Fix install-doc-quick target

Johannes Schindelin [off-list ref] writes:

On Mon, 6 Aug 2007, Mark Levedahl wrote:

quoted

-	for i in `git ls-tree -r --name-only $head`
+	for i in `git --git-dir="$GIT_DIR" ls-tree -r --name-only $head`

This awfully looks like hiding a bug.  It should _never_ be necessary to 
say '--git-dir="$GIT_DIR"'.

Yes.  And 00d8c51 obviously "works for me", so there is
something different between what Mark and I are doing.  I cannot
tell what it is.