adjust doc. to match latest gnulib

[Paul Eggert]

I installed this to keep up with gnulib:

2007-10-08  Paul Eggert  <address@hidden>

        Adjust doc. to match latest gnulib.
        * build-aux/texinfo.tex: Sync from gnulib.
        * doc/standards.texi: Likewise.
        * doc/autoconf.texi (Copying This Manual): Rename to "GNU Free
        Documentation License" and remove the subsection.  This simplifies
        the manual a bit and is more like what other GNU projects do
        nowadays.

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index e44210c..c49e670 100644
--- a/build-aux/texinfo.tex
+++ b/build-aux/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2007-07-30.08}
+\def\texinfoversion{2007-09-03.05}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, 2007,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -1628,8 +1628,12 @@ output) for that.)}
 \def\strutheightpercent{.70833}
 \def\strutdepthpercent {.29167}
 %
+% can get a sort of poor man's double spacing by redefining this.
+\def\baselinefactor{1}
+%
 \def\setleading#1{%
-  \normalbaselineskip = #1\relax
+  \dimen0 = #1\relax
+  \normalbaselineskip = \baselinefactor\dimen0
   \normallineskip = \lineskipfactor\normalbaselineskip
   \normalbaselines
   \setbox\strutbox =\hbox{%
@@ -8579,7 +8583,7 @@ should work if nowhere else does.}
 % Don't be so finicky about underfull hboxes, either.
 \hbadness = 2000

-% Following George Bush, just get rid of widows and orphans.
+% Following George Bush, get rid of widows and orphans.
 \widowpenalty=10000
 \clubpenalty=10000

@@ -8644,7 +8648,7 @@ should work if nowhere else does.}
   \textleading = 13.2pt
   %
   % If page is nothing but text, make it come out even.
-  \internalpagesizes{46\baselineskip}{6in}%
+  \internalpagesizes{607.2pt}{6in}% that's 46 lines
                     {\voffset}{.25in}%
                     {\bindingoffset}{36pt}%
                     {11in}{8.5in}%
@@ -8700,7 +8704,7 @@ should work if nowhere else does.}
   % \global\normaloffset = -6mm
   % \global\bindingoffset = 10mm
   % @end tex
-  \internalpagesizes{51\baselineskip}{160mm}
+  \internalpagesizes{673.2pt}{160mm}% that's 51 lines
                     {\voffset}{\hoffset}%
                     {\bindingoffset}{44pt}%
                     {297mm}{210mm}%
diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 423a883..b41aee6 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -272,7 +272,7 @@ published by the Free Software Foundation raise funds for
 * Using Autotest::              Creating portable test suites
 * FAQ::                         Frequent Autoconf Questions, with answers
 * History::                     History of Autoconf
-* Copying This Manual::         How to make copies of this manual
+* GNU Free Documentation License::  License for copying this manual
 * Indices::                     Indices of symbols, concepts, etc.

 @detailmenu
@@ -611,10 +611,6 @@ History of Autoconf
 * Numbers::                     Growth and contributors
 * Deuteronomy::                 Approaching the promises of easy configuration

-Copying This Manual
-
-* GNU Free Documentation License::  License for copying this manual
-
 Indices

 * Environment Variable Index::  Index of environment variables used
@@ -20130,19 +20126,9 @@ have free time again.  I think.  Yeah, right.)

 @c ========================================================== Appendices

address@hidden Copying This Manual
address@hidden Copying This Manual
address@hidden License
-
address@hidden
-* GNU Free Documentation License::  License for copying this manual
address@hidden menu
-

 @node GNU Free Documentation License
address@hidden GNU Free Documentation License
-
address@hidden FDL, GNU Free Documentation License
address@hidden GNU Free Documentation License

 @include fdl.texi

diff --git a/doc/standards.texi b/doc/standards.texi
index 821b60e..46e6d0f 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -3,7 +3,7 @@
 @setfilename standards.info
 @settitle GNU Coding Standards
 @c This date is automagically updated when you save this file:
address@hidden lastupdate July 22, 2007
address@hidden lastupdate September 9, 2007
 @c %**end of header

 @dircategory GNU organization
@@ -4135,7 +4135,7 @@ policy is relevant particularly for the web pages for a 
GNU package.
 Following links from nearly any web site can lead to non-free
 software; this is an inescapable aspect of the nature of the web, and
 in itself is no objection to linking to a site.  As long as the site
-does not itself recommend a non-free program, there is no need be
+does not itself recommend a non-free program, there is no need to be
 concerned about the sites it links to for other reasons.

 Thus, for example, you should not make a link to AT&T's web site,