Fixes for rendering the manual as PDF.
Merge pull request #3492 from nawroth/2.0-maint

Fixes for rendering the manual as PDF.