Disable building the PDF manual

Created by  Eelco Dolstra  on July 8, 2015
FJAF7KWAHFNUOHRSRTUMO2Z6TBGDRWVS4ITGVTWSYN5HVQ23OBZAC
Change contents