aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc/Makefile.in')
-rw-r--r--doc/misc/Makefile.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 83bc2d7bf33..30fdbccee75 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -38,6 +38,8 @@ infodir=../../info
38## Currently only used by efaq and calc. 38## Currently only used by efaq and calc.
39emacsdir = $(srcdir)/../emacs 39emacsdir = $(srcdir)/../emacs
40 40
41MKDIR_P = @MKDIR_P@
42
41INFO_EXT=@INFO_EXT@ 43INFO_EXT=@INFO_EXT@
42# Options used only when making info output. 44# Options used only when making info output.
43INFO_OPTS=@INFO_OPTS@ 45INFO_OPTS=@INFO_OPTS@
@@ -211,7 +213,7 @@ TEXI2PDF = texi2pdf
211ENVADD = TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" \ 213ENVADD = TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" \
212 MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)" 214 MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)"
213 215
214mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} 216mkinfodir = @${MKDIR_P} ${srcdir}/${infodir}
215 217
216.PHONY: info dvi pdf echo-info 218.PHONY: info dvi pdf echo-info
217 219