Skip to content

Commit e21db2c

Browse files
johnkeepinggitster
authored andcommitted
Documentation/Makefile: move infodir to be with other '*dir's
Signed-off-by: John Keeping <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
1 parent 692cfd6 commit e21db2c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Documentation/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,7 @@ DOC_MAN7 = $(patsubst %.txt,%.7,$(MAN7_TXT))
8181
prefix ?= $(HOME)
8282
bindir ?= $(prefix)/bin
8383
htmldir ?= $(prefix)/share/doc/git-doc
84+
infodir ?= $(prefix)/share/info
8485
pdfdir ?= $(prefix)/share/doc/git-doc
8586
mandir ?= $(prefix)/share/man
8687
man1dir = $(mandir)/man1
@@ -98,7 +99,6 @@ RM ?= rm -f
9899
MAN_REPO = ../../git-manpages
99100
HTML_REPO = ../../git-htmldocs
100101

101-
infodir ?= $(prefix)/share/info
102102
MAKEINFO = makeinfo
103103
INSTALL_INFO = install-info
104104
DOCBOOK2X_TEXI = docbook2x-texi

0 commit comments

Comments
 (0)