# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1247107946 0
# Node ID 68421a5189668b31c2e18307f86959050173419f
# Parent  0b604d32b97d7208e4b26b39b57a318f15f9e848
(texinfodir): New variable, with location of texinfo.tex.
(ENVADD): Add texinfodir to TEXINPUTS.

diff -r 0b604d32b97d -r 68421a518966 doc/emacs/Makefile.in
--- a/doc/emacs/Makefile.in	Thu Jul 09 02:52:14 2009 +0000
+++ b/doc/emacs/Makefile.in	Thu Jul 09 02:52:26 2009 +0000
@@ -31,6 +31,8 @@
 ## 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 @@
 .texi.dvi:
 	$(TEXI2DVI) $<
 
-ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
+ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)"
 
 
 EMACS_XTRA=\