Andreas Jaeger 25d0ad6197 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		2019-09-04 06:52:06 +02:00
..
source	Change PDF file name	2019-09-04 06:52:06 +02:00
Makefile	Merge from launchpad quantum/diablo branch:	2011-09-23 20:17:44 -07:00
requirements.txt	Blacklist sphinx 2.1.0 (autodoc bug)	2019-07-01 14:51:21 +08:00