Re: Updated INSTALL from Autoconf

[Karl Berry]

    !   { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
    !   -$(MAKEINFO) --plaintext --no-warn tmp.texi > $@
    !   rm -f tmp.texi

Fine by me.