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