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 9a0719c..57aa0e2 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 c3bbfbb..c275a16 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