Re: [petsc-dev] links from manual pages to users manual

Patrick Sanan writes: >> Am 26.05.2021 um 18:39 schrieb Jed Brown : >> >> Patrick Sanan mailto:patrick.sa...@gmail.com>> >> writes: >> Am 25.05.2021 um 22:58 schrieb Barry Smith : Now that the users manual is html and we can properly link into it, it would be great

Re: [petsc-dev] links from manual pages to users manual

> Am 26.05.2021 um 18:39 schrieb Jed Brown : > > Patrick Sanan mailto:patrick.sa...@gmail.com>> > writes: > >>> Am 25.05.2021 um 22:58 schrieb Barry Smith : >>> >>> >>> Now that the users manual is html and we can properly link into it, it >>> would be great to have links from the manual p

Re: [petsc-dev] links from manual pages to users manual

> Am 27.05.2021 um 00:24 schrieb Barry Smith : > > > > Jed pointed out previously that ideally we would not just generate a million > pages of .rst or markdown but we would have the structure of a manual page as > an abstract object on which one could write code to validate, to add new >