diff options
Diffstat (limited to 'doc/emacs/Makefile.in')
| -rw-r--r-- | doc/emacs/Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/emacs/Makefile.in b/doc/emacs/Makefile.in index 0e03efd9877..7ffbf52e94f 100644 --- a/doc/emacs/Makefile.in +++ b/doc/emacs/Makefile.in @@ -35,6 +35,8 @@ infodir = $(srcdir)/../../info # Directory with the (customized) texinfo.tex file. texinfodir = $(srcdir)/../misc +MKDIR_P = @MKDIR_P@ + INFO_EXT=@INFO_EXT@ # Options used only when making info output. # --no-split is only needed because of MS-DOS. @@ -118,10 +120,8 @@ EMACSSOURCES= \ $(EMACS_XTRA) ## This seems pointless. The info/ directory exists in both the -## repository and the release tarfiles. We do not use any -## equivalent of mkdir -p/install-sh -d, so this is not a general -## solution anyway. The second test -d is for parallel builds. -mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} +## repository and the release tarfiles. +mkinfodir = @${MKDIR_P} ${infodir} .PHONY: info dvi html pdf ps |