Open
Description
Is your enhancement proposal related to a problem? Please describe.
At present, the only way to test documentation changes for the PDF build is to build them locally... This is a pretty encumbered process because it's not just a case of getting LaTeX, you also need the right additional LaTeX packages and fonts and many other things.
Describe the solution you'd like
A new optional label that can be added to PRs which, if present, will allow the documentation task to generate the PDF documentation for that PR, so it can be checked
Describe alternatives you've considered
Building it locally