[petsc-dev] Manual figures are messed up

I just noticed that Figures 19 and 20 in the manual (current release and master) are messed up. The htmlmap process seems not to work properly. -- Stefano