Re: Updated INSTALL from Autoconf

[Bruno Haible]

> 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  <address@hidden>

        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 $@ $<