Scott Frederick c119dd2450 Rename plugin PDF reference doc files ...

This commit renames the PDF documentation files generated for the
build plugins when the distribution archive is created.

See gh-20829

2020-04-03 15:50:23 -05:00

..

src

Fix typo

2020-04-03 12:30:46 -07:00

build.gradle

Rename plugin PDF reference doc files

2020-04-03 15:50:23 -05:00