Add links to PDF versions of documentation.