OK to distribute autoconf.texi under the GPL too?

[Paul Eggert]

Roger Leigh of the Debian project asked whether we could dual-license
autoconf.texi, so that it could be distributed under the terms of
either the GFDL or the GPL.  One of his arguments is that the manual
contains many coding examples, and it'd be nice if people could just
cut-n-paste them into their GPLed code.  There more arguments; please
see <http://people.debian.org/~srivasta/Position_Statement.html> for
details.  Are there any objections or other comments about this
proposal?