And fix patches to version.h to say this version, rather than the last one. Noticed by: Andreas Klemm Excelent patches applied so that we can produce the HTML docs using our own SGML tools. Submitted by: J"org
