# HG changeset patch
# User Werner Lemberg <wl@gnu.org>
# Date 1295778141 -3600
# Node ID 76fa839f455e6bc349372b9e4302a0a8a8741584
# Parent  2097405cdc11173322d81539e33a65b131bb464b
* Makefile.in (MAKEINFO): Now controlled by `configure'.
(MAKEINFO_OPTS): New variable.  Use it where appropriate.
(ENVADD): New variable to control texi2dvi and texi2pdf.

diff -r 2097405cdc11 -r 76fa839f455e doc/lispref/ChangeLog
--- a/doc/lispref/ChangeLog	Sat Jan 22 23:32:08 2011 -0800
+++ b/doc/lispref/ChangeLog	Sun Jan 23 11:22:21 2011 +0100
@@ -1,3 +1,9 @@
+2011-01-23  Werner Lemberg  <wl@gnu.org>
+
+	* Makefile.in (MAKEINFO): Now controlled by `configure'.
+	(MAKEINFO_OPTS): New variable.  Use it where appropriate.
+	(ENVADD): New variable to control texi2dvi and texi2pdf.
+
 2011-01-15  Chong Yidong  <cyd@stupidchicken.com>
 
 	* files.texi (Directory Names): Move directory-abbrev-alist doc to
diff -r 2097405cdc11 -r 76fa839f455e doc/lispref/Makefile.in
--- a/doc/lispref/Makefile.in	Sat Jan 22 23:32:08 2011 -0800
+++ b/doc/lispref/Makefile.in	Sun Jan 23 11:22:21 2011 +0100
@@ -32,11 +32,15 @@
 # Directory with emacsver.texi.
 emacsdir =  $(srcdir)/../emacs
 
-MAKEINFO = makeinfo --force -I $(emacsdir) -I $(srcdir)
+MAKEINFO = @MAKEINFO@
+MAKEINFO_OPTS = --force -I $(emacsdir) -I $(srcdir)
 TEXI2DVI = texi2dvi
 TEXI2PDF = texi2pdf
 DVIPS = dvips
 
+ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" \
+         MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)"
+
 # List of all the texinfo files in the manual:
 
 srcs = \
@@ -106,19 +110,19 @@
 
 $(infodir)/elisp: $(srcs)
 	$(mkinfodir)
-	$(MAKEINFO) -o $@ $<
+	$(MAKEINFO) $(MAKEINFO_OPTS) -o $@ $<
 
 elisp.dvi: $(srcs)
-	$(TEXI2DVI) -I $(srcdir) -I $(texinfodir) -I $(emacsdir) $<
+	$(ENVADD) $(TEXI2DVI) $<
 
 elisp.html: $(srcs)
-	$(MAKEINFO) --html -o $@ $<
+	$(MAKEINFO) $(MAKEINFO_OPTS) --html -o $@ $<
 
 elisp.ps: elisp.dvi
 	$(DVIPS) -o $@ $<
 
 elisp.pdf: $(srcs)
-	$(TEXI2PDF) -I $(srcdir) -I $(texinfodir) -I $(emacsdir) $<
+	$(ENVADD) $(TEXI2PDF) $<
 
 .PHONY: mostlyclean clean distclean maintainer-clean infoclean