Andreas Jaeger 6f761f6bf0 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: Ife8461f00ba2206d18ae45837bbc31d211e29841

2019-09-04 06:53:40 +02:00

..

cli

Merge "Remove the hard-coded version number."

2019-07-19 21:00:05 +00:00

contributor

Cleanup the home page

2018-12-04 17:32:19 -05:00

user

Cleanup the home page

2018-12-04 17:32:19 -05:00

conf.py

Change PDF file name

2019-09-04 06:53:40 +02:00

index.rst

Cleanup the home page

2018-12-04 17:32:19 -05:00