Updated the manual and changed the version number to 1.2.11.
Authored by: bugman 2007-10-21
Parent: [r3362]
Child: [r3364]
