Manpages of autoconf2.13 in Debian wheezy