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: Id17cfdce6c38dc30bfaf557be7eee0675fa8f87c
This commit is contained in:
Andreas Jaeger 2019-09-04 06:52:06 +02:00
parent 78aae12a88
commit 25d0ad6197

View File

@ -229,7 +229,7 @@ htmlhelp_basename = 'neutrondoc'
# (source start file, target name, title, author,
# documentclass [howto/manual]).
latex_documents = [
('pdf-index', 'neutron.tex', u'Neutron Documentation',
('pdf-index', 'doc-neutron.tex', u'Neutron Documentation',
u'Neutron development team', 'manual'),
]