From 6e501555648387770cbf2ad706ebf7440f6a7723 Mon Sep 17 00:00:00 2001
From: Andreas Jaeger <aj@suse.com>
Date: Wed, 4 Sep 2019 06:39:35 +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: I09eeaa51987df6c1690afc6395acd35329cff872
---
 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 afe394e..402f748 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -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'),
 ]