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
============================================
============================================
Copying directory
/Users/barrysmith/Src/petsc/doc/_build_classic/docs/manualpages to
/Users/barrysmith/Src/petsc/doc/_build/html/docs/manualpages
============================================
============================================
Copying directory /Users/barrysmith/Src/petsc/doc/_build_classic/include to
/Users/barrysmith/Src/petsc/doc/_build/html/include
============================================
============================================
Copying directory /Users/barrysmith/Src/petsc/doc/_build_classic/src to
/Users/barrysmith/Src/petsc/doc/_build/html/src
============================================
============================================
Fixing relative links from conf.py
============================================
============================================
Adding version to classic man pages, from conf.py
============================================
Would it be possible to rig the dependencies so that the copies and fixes are
only done when needed, instead of every time?
Thanks
Barry
