generate dox PDF documentation correctly, and enable by default