changeset 103793:68421a518966

(texinfodir): New variable, with location of texinfo.tex. (ENVADD): Add texinfodir to TEXINPUTS.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 02:52:26 +0000
parents 0b604d32b97d
children ce767480885f
files doc/emacs/Makefile.in
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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=\