From 25d0ad61976933df5ac388dcfb5dc8ba337d5fce Mon Sep 17 00:00:00 2001
From: Andreas Jaeger <aj@suse.com>
Date: Wed, 4 Sep 2019 06:52:06 +0200
Subject: [PATCH] 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
---
 doc/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index b309b4740f0..a15d278fe8d 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -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'),
 ]