[petsc-dev] Help to fix manual pages

[Lisandro Dalcin]

On Wed, 2 Oct 2019 at 17:31, Patrick Sanan <patrick.sanan at gmail.com> wrote:

> I think that there at least needs to be a dash at the end of each line
> defining an option, or sowing gets confused.
>
>
Thanks for the tip! https://gitlab.com/petsc/petsc/merge_requests/2144
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20191003/90a994d1/attachment.html>