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>
This commit is contained in:
parent
692cfd6b2b
commit
e21db2c6ad
@ -81,6 +81,7 @@ DOC_MAN7 = $(patsubst %.txt,%.7,$(MAN7_TXT))
|
|||||||
prefix ?= $(HOME)
|
prefix ?= $(HOME)
|
||||||
bindir ?= $(prefix)/bin
|
bindir ?= $(prefix)/bin
|
||||||
htmldir ?= $(prefix)/share/doc/git-doc
|
htmldir ?= $(prefix)/share/doc/git-doc
|
||||||
|
infodir ?= $(prefix)/share/info
|
||||||
pdfdir ?= $(prefix)/share/doc/git-doc
|
pdfdir ?= $(prefix)/share/doc/git-doc
|
||||||
mandir ?= $(prefix)/share/man
|
mandir ?= $(prefix)/share/man
|
||||||
man1dir = $(mandir)/man1
|
man1dir = $(mandir)/man1
|
||||||
@ -98,7 +99,6 @@ RM ?= rm -f
|
|||||||
MAN_REPO = ../../git-manpages
|
MAN_REPO = ../../git-manpages
|
||||||
HTML_REPO = ../../git-htmldocs
|
HTML_REPO = ../../git-htmldocs
|
||||||
|
|
||||||
infodir ?= $(prefix)/share/info
|
|
||||||
MAKEINFO = makeinfo
|
MAKEINFO = makeinfo
|
||||||
INSTALL_INFO = install-info
|
INSTALL_INFO = install-info
|
||||||
DOCBOOK2X_TEXI = docbook2x-texi
|
DOCBOOK2X_TEXI = docbook2x-texi
|
||||||
|
Loading…
Reference in New Issue
Block a user