autoconf: Tell the user about docs/autoconf.html in --help output

The documentation in autoconf.html is much more explicit about how the
different configure options control the build. This adds a notice at the
end of the `./configure --help' output to tell the user about it.
1 file changed