t / t5100 / msg0009on commit Add support for a pdf version of the user manual (a325a1a)
   1This is to fix diff-format documentation.
   2