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
