Change PDF file name
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

openstack/i18n,openstack/i18n