2 files changed, 9 insertions, 2 deletions

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index d51db539f87..4ad0293ee9b 100644
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2014-04-17  Paul Eggert  <eggert@cs.ucla.edu>
+
+        * Makefile.in (infoclean): Be consistent about reporting failures.
+
 2014-03-27  Glenn Morris  <rgm@gnu.org>
 
         * Makefile.in (INFO_COMMON): Add vhdl-mode.
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 09687aaa1ee..f74d7eaa2d1 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -882,9 +882,12 @@ distclean: clean
 
 ## buildinfodir is relative to srcdir.
 infoclean:
-        cd $(buildinfodir); for file in $(INFO_TARGETS); do \
+        for file in $(INFO_TARGETS); do \
           file=`echo $${file} | sed 's/\.info$$//'`${INFO_EXT}; \
-          rm -f $${file} $${file}-[1-9] $${file}-[1-9][0-9]; \
+          rm -f \
+            $(buildinfodir)/$${file} \
+            $(buildinfodir)/$${file}-[1-9] \
+            $(buildinfodir)/$${file}-[1-9][0-9]; \
         done
 
 maintainer-clean: distclean infoclean