Fixes for PDF documentation build.

svn path=/; revision=82852