Re: [petsc-dev] Doc check

[Karl Rupp]

Hi Matt,

> Karl, do any of the style checkers check that functions in the public
interface have documentation?

nope, this is not part of the checkers yet. A robust check does not seem 
to be an easy thing, though...

Best regards,
Karli