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

From: John Keeping <john@keeping.me.uk>
Date: Feb 12, 2013, 21:18 UTC
Message-ID: <20130212211804.GI2270@serenity.lan>
In-Reply-To: <20130212210138.GE12240@google.com>

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

Show 23 quoted lines

> John Keeping wrote:
> 
> > Signed-off-by: John Keeping <john@keeping.me.uk>
> [...]
> > --- 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.