[petsc-users] Petsc Documentation

[Satish Balay]

I see the search option on the top right of https://petsc.org/release/ [and says ctrl-k is the key binding]

Also google search usually gets to the man page.

And on the 'single index' page - looks like the visible width is small [compared to whats there] - Ctrl-F is able to find PetscPrintf

Satish

On Mon, 7 Nov 2022, Palmer, Bruce J via petsc-users wrote:

> Hi,
> 
> The new Petsc documentation pages don't seem to have a search function. Would it be possible to add one? I was looking around for the documentation on PetscPrintf and couldn't find it, even on the single index of all petsc man pages.
> 
> Bruce Palmer
> Computer Scientist
> Pacific Northwest National Laboratory
> (509) 375-3899
> 
>