Makefile.in (echo-info): Don't try to install info files named just ".info"

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 9a0719c7681cebb14dce9b35998c822dcd0a9d62..57aa0e2651d9cf3290cac992e73ddd2abc93ef30 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,8 @@
+2012-05-29  Katsumi Yamaoka  <yamaoka@jpl.org>
+
+       * Makefile.in (echo-info): Don't try to install info files named
+       just ".info".
+
 2012-05-28  Glenn Morris  <rgm@gnu.org>
 
        * calc.texi, dired-x.texi: Use @LaTeX rather than La@TeX.  (Bug#10910)

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index c3bbfbb02adcd76f19789fcd2e165f49ca70f027..c275a16a9a63579b6843f8941fe3afa3ae511e70 100644 (file)
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -175,7 +175,7 @@ info: $(INFO_TARGETS)
 ## Base file names of output info files.
 echo-info:
        @echo "$(INFO_TARGETS) " | \
-         sed -e 's|[^ ]*/||g' -e 's/\.info//g' -e "s/ /$(INFO_EXT) /g"
+         sed -e 's|[^ ]*/||g' -e 's/\.info//g' -e "s/  */$(INFO_EXT) /g"
 
 # please modify this for all the web manual targets
 webhack: clean