diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 0652d4dea0..0486dcad58 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -98,7 +98,7 @@ dir-add.info: xtract-typefun.awk $(texis) mv -f $@.new $@ %.info: %.texinfo - $(MAKEINFO) $< + LANGUAGE=C LC_ALL=C $(MAKEINFO) $< %.dvi: %.texinfo $(TEXI2DVI) $< |