Doc patch: provide a pointer to where the list of --with-PROG values is.  Fixes #1512.