docs linked https://www.gnu.org/savannah-checkouts/gnu/autoconf/ goes to 2.70

[Peter Johansson <trojkan@xxxxxxxxx>]

Hi autoconfers,

I noticed that

https://www.gnu.org/savannah-checkouts/gnu/autoconf/

<https://www.gnu.org/software/autoconf/manual/index.html>there is a link 
to documentation

http://www.gnu.org/software/autoconf/manual/ 
<https://www.gnu.org/software/autoconf/manual/index.html>.

that goes to

https://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.70/index.html

Is there a 2.71 version available?

Thanks,

Peter