[petsc-dev] Some pdf users manual links don't work

[Barry Smith]

Last line of page 1 in https://petsc.org/release/docs/manual/manual. 
<https://petsc.org/release/docs/manual/manual.p>pdf does not work but the html 
link does work? Is this fixable?