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: I09eeaa51987df6c1690afc6395acd35329cff872
This commit is contained in:
Andreas Jaeger 2019-09-04 06:39:35 +02:00
parent 55f1e6c15e
commit 6e50155564
1 changed files with 1 additions and 1 deletions

View File

@ -207,7 +207,7 @@ html_copy_source = False
# (source start file, target name, title, author, documentclass
# [howto/manual]).
latex_documents = [
('index', 'i18n.tex', u'Internationalization Documentation',
('index', 'doc-i18n.tex', u'Internationalization Documentation',
u'OpenStack Foundation', 'howto'),
]