Andrew's git / gitweb.git / diff
?
Documentation/Makefile: move infodir to be with other '*dir's
authorJohn Keeping <john@keeping.me.uk>
Sun, 16 Jun 2013 17:13:01 +0000 (18:13 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2013 20:11:56 +0000 (13:11 -0700)
Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile patch | blob | history
diff --git a/Documentation/Makefile b/Documentation/Makefile
index af3d8a4a8ffd29218705f92e10ea8067f8f8c316..0cfdc36b44ee51d827136c2bdd75c3d977f03742 100644 (file)
--- 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