https://gitlab.com/petsc/petsc/-/issues/1084
Am Sa., 15. Jan. 2022 um 07:07 Uhr schrieb Patrick Sanan <
patrick.sa...@gmail.com>:
> Yes, that's a good point - there's no reason to do the copy if we're
> already assuming the source is up to date, so we can easily just check if
> the destination
Yes, that's a good point - there's no reason to do the copy if we're
already assuming the source is up to date, so we can easily just check if
the destination already has data!
Also, while the build time certainly annoys me as well, it stopped being as
much of a priority to improve because it now
Patrick,
Building docs is so much faster now, thanks! But when I get
Assuming that the classic docs in
/Users/barrysmith/Src/petsc/doc/_build_classic are current
it still does
Copying classic docs from conf.py