On Sat, Mar 12, 2011 at 20:52, Barry Smith <[email protected]> wrote:

I removed the file. There is DMLocalToGlobalBegin/End()

That is not the same at all, it involves communication while DALocalToGlobal() did not.

Can't you do this with LOC=/someotherplacewhere you are putting docs

I typically run with LOC=$PETSC_DIR/docs, but makefile.html and all the *.c.html still go in the source tree ($PETSC_DIR/src/...). I would prefer to have them go where LOC points instead of necessarily next to the source files themselves.