diff options
| author | Glenn Morris <rgm@gnu.org> | 2009-07-09 02:52:26 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2009-07-09 02:52:26 +0000 |
| commit | 2358ae546100768f2678dcd55c94c36c6cf1901e (patch) | |
| tree | 2606c3728c497c5661c48794cd6060f8cd8d7a59 /doc/emacs/Makefile.in | |
| parent | 672fe986bf8d04fa405f9bdce99991b0c712079d (diff) | |
| download | emacs-2358ae546100768f2678dcd55c94c36c6cf1901e.tar.gz | |
(texinfodir): New variable, with location of texinfo.tex.
(ENVADD): Add texinfodir to TEXINPUTS.
Diffstat (limited to 'doc/emacs/Makefile.in')
| -rw-r--r-- | doc/emacs/Makefile.in | 4 |
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=\ |