Slight modification of the DOI hyperlink formatting bibliography style for the user manual.
Authored by: bugman 2012-08-28
Parent: [r17363]
Child: [r17365]
