Andreas Jaeger 112e8a9a43 Change PDF file name ...

The previously choosen PDF file name conflicts in some repos with the
project logos (badge). Thus change https://review.opendev.org/679777
renames the desired PDF name to be doc-PROJECT.pdf to allow using the
badge in PDF files.

Follow this rename.

Change-Id: I859b38b139a37cb092b5d6c11998b7400613c342

2019-09-04 06:49:30 +02:00

8.3 KiB

Raw Blame History

View Raw