From 2358ae546100768f2678dcd55c94c36c6cf1901e Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 9 Jul 2009 02:52:26 +0000
Subject: [PATCH] (texinfodir): New variable, with location of texinfo.tex.
 (ENVADD): Add texinfodir to TEXINPUTS.

---
 doc/emacs/Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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=\
-- 
2.39.2