Add support for a pdf version of the user manual