PDF documentation is a legacy from the past when we printed stuff. Now it is a limitation since not everything that can be done in HTML translate to PDF. It also adds bulk to the tarballs, etc.
The proposals is to remove all vestiges of PDF from the documentation and the CMake/build scripts. Looking for comments from @GenericMappingTools/core here.