/gnu/dist/autoconf/man/