Remove the PDF version of the documentation.