Paul> Here's a proposed patch to change the autoconf manual so that it Paul> is distributed under the terms of the GNU Free Documentation Paul> License. Thanks Paul, it's been applied. Do you think you'll set up your ssh access some day? :) Maybe using Savannah would be easier for you? I just discovered you were not registered as an Autoconf developer. This is fixed now.
