Re: OK to distribute autoconf.texi under the GPL too?

[Alexandre Duret-Lutz]

>>> "Paul" == Paul Eggert <address@hidden> writes:

[...]
 Paul> * doc/autoconf.texi (@copying): Allow programs in this
 Paul> manual to be copied under the GPL.
[...]

Sounds sensible to me.  The last sentence of fdl.texi is 

  If your document contains nontrivial examples of program code, we
  recommend releasing these examples in parallel under your choice of
  free software license, such as the GNU General Public License,
  to permit their use in free software.

and I believe it could be interpreted as what you are suggesting to do.
-- 
Alexandre Duret-Lutz