Takes 10 minutes on my Apple M2 laptop.
As Satish notes, it has several stages, each of which takes some nontrivial
time. Hence, it is unclear if any simple change to the process could reduce the
time significantly, but I think 30 minutes in the CI is too long, and it would
be nice if som
On Thu, 15 Jun 2023, Blaise Bourdin wrote:
> Hi,
>
> I am trying to figure out why the doc page for PetscOptionsHeadBegin
> https://petsc.org/release/manualpages/Sys/PetscOptionsHeadBegin/ is broken.
>>
#else
/*MC
On Thu, 15 Jun 2023, Jacob Faibussowitsch wrote:
> > I am trying to figure out why the doc page for PetscOptionsHeadBegin
> > https://petsc.org/release/manualpages/Sys/PetscOptionsHeadBegin/ is broken.
>
> It's missing a Synopsis: section. See PetscOptionsEnd docstring.
>
> > I do
> >
> > cd
> I am trying to figure out why the doc page for PetscOptionsHeadBegin
> https://petsc.org/release/manualpages/Sys/PetscOptionsHeadBegin/ is broken.
It's missing a Synopsis: section. See PetscOptionsEnd docstring.
> I do
>
> cd $PETSC_DIR/doc
> make sphinxhtml
>
> which takes ages and seems t
On Thu, 15 Jun 2023, Blaise Bourdin wrote:
> Hi,
>
> I am trying to figure out why the doc page for PetscOptionsHeadBegin
> https://petsc.org/release/manualpages/Sys/PetscOptionsHeadBegin/ is broken.
> Following the instructions at
> https://petsc.org/release/developers/documentation/#developin
Hi,
I am trying to figure out why the doc page for PetscOptionsHeadBegin
https://petsc.org/release/manualpages/Sys/PetscOptionsHeadBegin/ is broken.
Following the instructions at
https://petsc.org/release/developers/documentation/#developing-petsc-documentation
I do
cd $PETSC_DIR/doc
make sp