Andreas Jaeger 4467a594b8 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: I6fbddc841039a9a66998b4ca7ae81742852d12ae		2019-09-04 06:51:27 +02:00
..
install	Replace git.openstack.org URLs with opendev.org URLs	2019-04-23 20:55:14 +08:00
reference	doc: Restructure docs for doc-migration	2017-08-08 15:44:29 +01:00
user	doc: Restructure docs for doc-migration	2017-08-08 15:44:29 +01:00
conf.py	Change PDF file name	2019-09-04 06:51:27 +02:00
index.rst	doc: Restructure docs for doc-migration	2017-08-08 15:44:29 +01:00