Re: [PATCH 2/3] Documentation/Makefile: move infodir to be with other '*dir's

On Tue, Feb 12, 2013 at 01:01:38PM -0800, Jonathan Nieder wrote:

John Keeping wrote:

quoted

Signed-off-by: John Keeping <redacted>

[...]

quoted

--- a/Documentation/Makefile
+++ b/Documentation/Makefile

@@ -81,6 +81,7 @@ DOC_MAN7 = $(patsubst %.txt,%.7,$(MAN7_TXT))
 prefix ?= $(HOME)
 bindir ?= $(prefix)/bin
 htmldir ?= $(prefix)/share/doc/git-doc
+infodir ?= $(prefix)/share/info
 pdfdir ?= $(prefix)/share/doc/git-doc
 mandir ?= $(prefix)/share/man
 man1dir = $(mandir)/man1

@@ -98,7 +99,6 @@ RM ?= rm -f
 MAN_REPO = ../../git-manpages
 HTML_REPO = ../../git-htmldocs
 
-infodir ?= $(prefix)/share/info
 MAKEINFO = makeinfo

Is this another stylefix or is there a functional reason for this
change?

Another stylefix - this arrangement seems more logical to me and makes
the comment in the next patch simpler.