This has been fixed in the master branch (and thus the pdf will be fixed when the next version of the manual comes out with PETSc 3.8).
On Wed, Apr 12, 2017 at 11:58 AM, Joachim Wuttke <[email protected]> wrote: > pp. 174, 183 in the current User Manual describe option -log_summary. > > Running code with this option yields > > WARNING: -log_summary is being deprecated; switch to -log_view > > Btw either form of the option is missing in the Index. > >
