* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 1765c22d79031d7b06d366804afdd526a3ab2894..6a74bce197d4289535865206e6bbadc5672af82a 100644 (file)
--- 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 30fdbccee75ece610a906dc36bcb99fc572f364f..02115a4b474d13e2e5b0531bec40d22379a024c6 100644 (file)
--- 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); \