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

Jed Brown jed at jedbrown.org
Mon Jun 17 15:40:23 CDT 2019

Patrick Sanan <patrick.sanan at gmail.com> writes:

>> It ought, I suppose, be possible to write a plugin that adds links
>> automagically to all keywords in formatted source, but I don't know the
>> details of how these are written.
> Sounds like Jed's suggesting that this could be done with a script similar
> to the one that exists now for the manual. How about
> 1. Use pandoc to convert (a section of) the dev manual to the new .rst
> format
> 2. Modify the existing script to add links from (temporary copies of) the
> new .rst to the existing man pages (still using the existing htmlmap file)
> 3. Generate an example of what the new html dev manual would like
> This would
> - probably reveal some gotchas about this approach
> - be a good step along the way to a useful first result, which is the
> manual and dev manual on the web

I think this would be a good start.

More information about the petsc-dev mailing list