[all] [tc] PDF goal change

Hi all,

Further work on the PDF generation showed that many projects have project logos as svg files with the name PROJECT.svg, those get converted to PROJECT.pdf and collide with the default name used here.

We have now changed the default to "doc-PROJECT.pdf" to have a unique name.

The review [1] merged yesterday, so please be aware of this change when you are working on the goal.

Thanks,

Alex

[1] https://review.opendev.org/#/c/679777