Re: [petsc-dev] Regression in manualpages generation?