On Fri, 8 Jan 2010 11:18:30 -0600 (CST), Satish Balay <balay at mcs.anl.gov> wrote: > I pushed the commit - adding dev.html to petsc-dev.tar.gz Great, thanks. Jed