Add link to PDF when available

We have enabled the generation of PDFs when appropriate using a custom output type "pdf-in". When the PDF is being produced, add a link to the page to alert readers to its existance.

Signed-off-by: Martyn Welch martyn.welch@collabora.com