[petsc-dev] User(s) manual sections field in manual pages?

[Mills, Richard Tran]

Colleagues,

I have noticed that we have a "Users manual sections" section in the MatNullSpaceCreate() manual page, and an empty "User manual sections" section (which I suppose should be corrected to "Users manual sections", since it is officially the "PETSc Users Manual"). Those appear to be the only two manual pages that use these headings. Would we like to add these for other manual pages, or, since they appear to be unused, should we eliminate them?

--Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20190608/fa42d4f7/attachment.html>