Re: Updated INSTALL from Autoconf

[Bruno Haible]

Eric Blake wrote:
> Is this the sort of patch better suited to an upstream fix in install.texi
> in autoconf (ie. fold the @firstparagraphindent into the .texi file,
> rather than creating a temporary file in the gnulib Makefile rule)?

I don't think so: The install.texi file is also included by the autoconf
documentation (autoconf.info). However, @firstparagraphindent is a global
setting pertaining to an entire manual.

> At any rate, it would be nice if Autoconf's INSTALL matches gnulib's
> formatting.

Then autoconf can either make a copy from gnulib's repository, or mirror
gnulib's Makefile rule.

> FWIW, here's autoconf's current rule:
> 
> AM_MAKEINFOFLAGS = --no-headers --no-validate --no-split

Good point. I've changed the rule to use --no-validate instead of --no-warn.
--no-headers and --no-split appear to have no effect in this case.

Bruno