(texinfodir): New variable, with location of texinfo.tex.

(ENVADD): Add texinfodir to TEXINPUTS.
This commit is contained in:
Glenn Morris 2009-07-09 02:52:26 +00:00
parent 672fe986bf
commit 2358ae5461

View file

@ -31,6 +31,8 @@ VPATH=@srcdir@
## Where the output files go.
## Note that the setfilename command in the .texi files assumes this.
infodir=../../info
# Directory with the (customized) texinfo.tex file.
texinfodir = $(srcdir)/../misc
# The makeinfo program is part of the Texinfo distribution.
# Use --force so that it generates output even if there are errors.
@ -47,7 +49,7 @@ TEXI2DVI = texi2dvi
.texi.dvi:
$(TEXI2DVI) $<
ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
EMACS_XTRA=\