The user manual now specifies the repository revision if a non-tagged version is built.
This enables easier tracking and editing of the manual.
Authored by: bugman 2012-08-28
Parent: [r17351]
Child: [r17353]
