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

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); \