diff --git a/Makefile b/Makefile index a78f53d4c9987324a683675c92ad4c7b03c24c84..e0fe680c39744d7c31c3ef33d56a546b16b880fc 100644 --- a/Makefile +++ b/Makefile @@ -328,7 +328,7 @@ TEXIFLAG=$(if $(V),,--quiet) $(call quiet-command,texi2dvi $(TEXIFLAG) -I . $<," GEN $@") %.html: %.texi - $(call quiet-command,$(MAKEINFO) $(MAKEINFOFLAGS) --html $< -o $@, \ + $(call quiet-command,LC_ALL=C $(MAKEINFO) $(MAKEINFOFLAGS) --html $< -o $@, \ " GEN $@") %.info: %.texi