Fix link to PDF manual

2 jobs for master in 26 seconds (queued for 2 seconds)