0001-Never-build-PDF-documentation.patch
