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

2 files changed, 6 insertions, 1 deletions

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 9a0719c7681..57aa0e2651d 100644
--- 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 c3bbfbb02ad..c275a16a9a6 100644
--- 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