summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Keeping <john@keeping.me.uk>2013-06-16 18:13:01 +0100
committerJunio C Hamano <gitster@pobox.com>2013-06-17 13:11:56 -0700
commite21db2c6ad136a723bed389feb3298b5b4ee1ae4 (patch)
tree86fd934107059be64b5adfd8dc7d0318a4e95855
parent692cfd6b2b467db00f39a7bae89a7743b5b57575 (diff)
downloadgit-e21db2c6ad136a723bed389feb3298b5b4ee1ae4.tar.gz
Documentation/Makefile: move infodir to be with other '*dir's
Signed-off-by: John Keeping <john@keeping.me.uk> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index af3d8a4a8f..0cfdc36b44 100644
--- 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
INSTALL_INFO = install-info
DOCBOOK2X_TEXI = docbook2x-texi