https://gitlab.com/petsc/petsc/-/merge_requests/7135
Regex processing is not ideal for this task; I've modified the code to remove most false positive finds. Thanks for reporting the problem, Barry > On Dec 21, 2023, at 8:35 AM, Niclas Götting <[email protected]> > wrote: > > Hi all, > > I noticed that all links to the examples under > https://petsc.org/release/manualpages/TS/TS/ point to the wrong URL. Instead > of src/ts/**/*, they point to src/sys/**/*, which does not seem to be right. > This definitely is a minor issue, but I couldn't see an obvious fix via "Edit > this page", so here is the e-mail. > > Best regards > Niclas >
