From c7f95930c7051e70f0eff132dd94d9db8f98861e Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 11 May 2012 21:32:19 -0400 Subject: [PATCH] * doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication. --- doc/misc/ChangeLog | 2 ++ doc/misc/Makefile.in | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) 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 + * 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); \ -- 2.39.2