It was added explicitly in Autoconf v2.62-95-g02fa53b for better plaintext rendering, see: http://lists.gnu.org/archive/html/autoconf-patches/2008-08/msg00132.html http://lists.gnu.org/archive/html/bug-gnulib/2008-08/msg00239.html
Well, sigh. "better" here is an aesthetic opinion, not a technical argument. I don't agree with that judgement, obviously, or the Texinfo default wouldn't be what it is. However, I don't really care about the indentation or lack thereof in the INSTALL file, specifically. I am being annoyingly persistent about all this because it just seems wrong to me to override defaults in a shared source file (as opposed to a per-package manual). I failed to notice Eric's last change in that thread :(. (http://lists.gnu.org/archive/html/bug-gnulib/2008-08/msg00241.html) Before that, I saw that Bruno did the inserting via gnulib's Makefile (the outcome of which I dislike personally but have no systemic objection to). So, I'd like to go back to the gnulib Makefile approach, and eradicate @firstparagraphindent. Ok with ... whoever cares? Eric? As for autoconf/INSTALL syncing with gnulib (the point Eric raised which led to his change), seems to me you could equally argue that autoconf/INSTALL should match the style of the autoconf manual. Anyway, you can get either way easily enough. (We could conceivably generate both flavors of INSTALL in gnulib, which I don't object to, but don't care about that much either.) > And, does anyone mind if I remove the @acronym commands from > install.texi, per our too-long prior discussion? FWIW, I don't mind, but please do it in upstream Autoconf. I don't currently have write permission in autoconf. I could give it to myself :), but would you mind just doing it instead, since it's such a trivial change? (removing @acronym; BTW, @acronym{GNU} is the only one.) Thanks, k