diff options
Diffstat (limited to 'doc/lispintro')
| -rw-r--r-- | doc/lispintro/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/lispintro/Makefile.in | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog index 1191b0de919..126c10c4342 100644 --- a/doc/lispintro/ChangeLog +++ b/doc/lispintro/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2012-05-12 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * Makefile.in (MKDIR_P): New, set by configure. | ||
| 4 | (mkinfodir): Use $MKDIR_P. | ||
| 5 | |||
| 1 | 2012-05-05 Glenn Morris <rgm@gnu.org> | 6 | 2012-05-05 Glenn Morris <rgm@gnu.org> |
| 2 | 7 | ||
| 3 | * emacs-lisp-intro.texi (Making Errors): Don't mention Emacs 20. | 8 | * emacs-lisp-intro.texi (Making Errors): Don't mention Emacs 20. |
diff --git a/doc/lispintro/Makefile.in b/doc/lispintro/Makefile.in index 29f5344b8c6..bf10e5c73b7 100644 --- a/doc/lispintro/Makefile.in +++ b/doc/lispintro/Makefile.in | |||
| @@ -26,6 +26,8 @@ infodir = $(srcdir)/../../info | |||
| 26 | # Directory with the (customized) texinfo.tex file. | 26 | # Directory with the (customized) texinfo.tex file. |
| 27 | texinfodir = $(srcdir)/../misc | 27 | texinfodir = $(srcdir)/../misc |
| 28 | 28 | ||
| 29 | MKDIR_P = @MKDIR_P@ | ||
| 30 | |||
| 29 | INFO_EXT=@INFO_EXT@ | 31 | INFO_EXT=@INFO_EXT@ |
| 30 | # Options used only when making info output. | 32 | # Options used only when making info output. |
| 31 | INFO_OPTS=@INFO_OPTS@ | 33 | INFO_OPTS=@INFO_OPTS@ |
| @@ -39,7 +41,7 @@ DVIPS = dvips | |||
| 39 | ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" \ | 41 | ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" \ |
| 40 | MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)" | 42 | MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)" |
| 41 | 43 | ||
| 42 | mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} | 44 | mkinfodir = @${MKDIR_P} ${infodir} |
| 43 | 45 | ||
| 44 | .PHONY: info dvi html pdf ps | 46 | .PHONY: info dvi html pdf ps |
| 45 | 47 | ||