Switch PDF file name to doc-PROJECT.pdf

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.

Change the default to "doc-PROJECT.pdf" to have a unique name.

This is a change in the default but we only added this 11 days ago, so
I hope it's fine to change.

Change-Id: I4f2224633fd4edbc3121af53d0202796cf8a0a60
This commit is contained in:
Andreas Jaeger 2019-09-03 14:40:39 +02:00
parent fa2cbeaae2
commit 0ca632b19d
2 changed files with 2 additions and 2 deletions

View File

@ -22,4 +22,4 @@ archive into the log root for viewing.
A list of file names of PDF files to collect.
By default, the list contains as entry only
``{{ zuul.project.short_name }}.pdf``.
``doc-{{ zuul.project.short_name }}.pdf``.

View File

@ -2,4 +2,4 @@
zuul_work_dir: "{{ zuul.project.src_dir }}"
sphinx_build_dir: doc/build
sphinx_pdf_files:
- "{{ zuul.project.short_name }}.pdf"
- "doc-{{ zuul.project.short_name }}.pdf"