Bug: PDF documentation doesn't build according to instructions