> Fine by me.
I also changed doc/Makefile to run makeinfo in an English locale, regardless
of the user's locale (otherwise, in some versions of makeinfo, it generates
localized some German sentences in the doc if the user is in a German locale).
2008-08-26 Bruno Haible <[EMAIL PROTECTED]>
Run makeinfo in an English locale.
* doc/Makefile (MAKEINFO): New variable.
*** doc/Makefile.orig 2008-08-26 08:42:38.000000000 +0200
--- doc/Makefile 2008-08-26 08:41:49.000000000 +0200
***************
*** 7,12 ****
--- 7,13 ----
doc = gnulib
+ MAKEINFO = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo
TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
%.html: %.texi
$(TEXI2HTML) -o $@ $<
