From: Bruno Haible <bruno@clisp.org>
Date: Tue, 26 Aug 2008 06:42:59 +0000 (+0200)
Subject: Run makeinfo in an English locale.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00ae160413545c4a01c500d41684b675547d1e83;p=pspp

Run makeinfo in an English locale.
---

diff --git a/ChangeLog b/ChangeLog
index 5c45b747ee..365531ea4f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-08-26  Bruno Haible  <bruno@clisp.org>
+
+	Run makeinfo in an English locale.
+	* doc/Makefile (MAKEINFO): New variable.
+
 2008-08-26  Bruno Haible  <bruno@clisp.org>
 
 	* doc/Makefile (INSTALL): Use --no-validate instead of --no-warn.
diff --git a/doc/Makefile b/doc/Makefile
index 750ff4dd78..7270a5b796 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,6 +7,7 @@
 
 doc = gnulib
 
+MAKEINFO = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo
 TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
 %.html: %.texi
 	$(TEXI2HTML) -o $@ $<