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

[Smith, Barry F.]

  This was one of my many dreams. The sections in the users manual would have latex names and each man page would link to appropriate ones. Given the hopelessness of linking inside PDF documents on the web (in theory it is possible but no browsers support it) I gave up on it. You can remove these. With Jed's plans this summer to refactor the users manual to not use latex this all becomes possible but we'll want some automated way of doing this, not requiring listing links on each manual page.

   Barry


> On Jun 8, 2019, at 1:09 AM, Mills, Richard Tran via petsc-dev <petsc-dev at mcs.anl.gov> wrote:
> 
> 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