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

(ENVADD): Add texinfodir to TEXINPUTS.

1 files changed, 3 insertions, 1 deletions

diff --git a/doc/emacs/Makefile.in b/doc/emacs/Makefile.in
index 5682d095eef..edb845b3eac 100644
--- a/doc/emacs/Makefile.in
+++ b/doc/emacs/Makefile.in
@@ -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=\