Re: Updated INSTALL from Autoconf

[Bruno Haible]

Karl Berry wrote:
>     !         { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
>     !         -$(MAKEINFO) --plaintext --no-warn tmp.texi > $@
>     !         rm -f tmp.texi
> 
> Fine by me.

Applied.