#351 Fix generation of PDF manual.