2 files changed, 7 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 965c7882a86..31add2f140e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-11  Nicolas Richard  <theonewiththeevillook@yahoo.fr>  (tiny change)
+
+        * Makefile.in (install-info, uninstall): Ensure make's messages
+        about changing directories are in English.  (Bug#13143)
+
 2012-12-05  Glenn Morris  <rgm@gnu.org>
 
         * configure.ac: Handle info/ files with or without ".info" extension.
diff --git a/Makefile.in b/Makefile.in
index 78630ef58ff..e8a506e7cea 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -603,7 +603,7 @@ install-info: info
            [ -f dir ] || \
              (cd $${thisdir}; \
               ${INSTALL_DATA} ${srcdir}/info/dir $(DESTDIR)${infodir}/dir) ; \
-           info_misc=`cd $${thisdir}/doc/misc; ${MAKE} echo-info | sed '/ing directory/d'`; \
+           info_misc=`cd $${thisdir}/doc/misc; LANG=C ${MAKE} echo-info | sed '/ing directory/d'`; \
            cd ${srcdir}/info ; \
            for elt in ${INFO_NONMISC} $${info_misc}; do \
               test "$(HAVE_MAKEINFO)" = "no" && test ! -f $$elt && continue; \
@@ -685,7 +685,7 @@ uninstall:
         done
         -rm -rf $(DESTDIR)${libexecdir}/emacs/${version}
         thisdir=`/bin/pwd`; \
-        (info_misc=`cd doc/misc; ${MAKE} echo-info | sed '/ing directory/d'`; \
+        (info_misc=`cd doc/misc; LANG=C ${MAKE} echo-info | sed '/ing directory/d'`; \
          if cd $(DESTDIR)${infodir}; then \
            for elt in ${INFO_NONMISC} $${info_misc}; do \
              (cd $${thisdir}; \