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
This commit is contained in:
Andreas Jaeger 2019-09-04 06:49:30 +02:00
parent 1eeff8ad8a
commit 112e8a9a43

View File

@ -227,7 +227,7 @@ htmlhelp_basename = 'cinderdoc'
# (source start file, target name, title, author, documentclass
# [howto/manual]).
latex_documents = [
('index', 'cinder.tex', u'Cinder Documentation',
('index', 'doc-cinder.tex', u'Cinder Documentation',
u'Cinder Contributors', 'manual'),
]