diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-05-11 21:32:19 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-05-11 21:32:19 -0400 |
| commit | c7f95930c7051e70f0eff132dd94d9db8f98861e (patch) | |
| tree | 337e4e2e430d54172e6a01f0a194d712c4504740 /doc | |
| parent | 005ad204984f9cc908338e6ce273a5b6c7522183 (diff) | |
| download | emacs-c7f95930c7051e70f0eff132dd94d9db8f98861e.tar.gz | |
* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 1765c22d790..6a74bce197d 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,5 +1,7 @@ 2012-05-12 Glenn Morris <rgm@gnu.org> + * Makefile.in (info.info): Rename from info, to avoid duplication. + * Makefile.in (MKDIR_P): New, set by configure. (mkinfodir): Use $MKDIR_P. diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 30fdbccee75..02115a4b474 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -508,7 +508,8 @@ idlwave.pdf: ${srcdir}/idlwave.texi $(ENVADD) $(TEXI2PDF) ${srcdir}/idlwave.texi # NB this one needs --no-split even without a .info extension. -info : $(infodir)/info$(INFO_EXT) +# Avoid name clash with overall "info" target. +info.info : $(infodir)/info$(INFO_EXT) $(infodir)/info$(INFO_EXT): info.texi $(mkinfodir) cd $(srcdir); \ |