[petsc-dev] still relevant in ./configure help ? Should Matt remove them?

[Smith, Barry F.]

 --with-autoreconf=<prog>
       Specify autoreconf  current: autoreconf
  --with-libtoolize=<prog>
       Specify libtoolize  current: libtoolize


 --with-alternatives=<bool>
       Provide a choice among alternative package installations  current: 0