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 > >
