[petsc-users] -log_summary: User Manual outdated

[Patrick Sanan]

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 <j.wuttke at fz-juelich.de> 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.
>
>