deprecated PDF documentation, doesn't build anyway