Re: [PATCH 2/3] Documentation/Makefile: move infodir to be with other '*dir's
From: Jonathan Nieder <hidden>
Date: 2016-06-15 22:56:09
John Keeping wrote:
Signed-off-by: John Keeping <redacted>
[...]
quoted hunk ↗ jump to hunk
--- 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?