changelog               |    9 +++++++++
 petsc2.3.0-doc.doc-base |   18 +++++++++---------
 rules                   |   12 +++++++++---
 3 files changed, 27 insertions(+), 12 deletions(-)