Merge "Revert "docs: disable PDF output for documentation generation"" into integration