Andreas Jaeger c74b03649a Switch PDF fetching to known files ... Some repos produce intermediate PDF files, for example from svg files, and thus we have multiple PDF files. Change the PDF fetching to a list of pdf_files which can be supplied, the default is the name of the repos with ".pdf" attached, like "octavia.pdf". https://review.opendev.org/#/c/667249/3 illustrates the problem. Change-Id: I5d3b6d6c2884ba66bdd35639b023d6d76f64ac01		2019-08-24 12:24:07 +02:00
..
main.yaml	Switch PDF fetching to known files	2019-08-24 12:24:07 +02:00