Autoconf documentation link broken

[Bruno Haible]

Hi,

When visiting https://www.gnu.org/software/autoconf/manual/ the first
hyperlink (_HTML (2220K bytes)_) works, but the second hyperlink
(_HTML_) lands in a 404 error page.

Bruno