Generated PDF documentation is currently being published with inconsistent file naming.
- Spring Boot reference - spring-boot-reference.pdf
- Maven plugin reference - index.pdf
- Gradle plugin reference - index.pdf (but snapshots had a version from January 2020 published as
spring-boot-gradle-plugin-reference.pdf)
The plugin reference PDFs should instead be named after the subproject - spring-boot-maven-plugin-reference.pdf and spring-boot-gradle-plugin-reference.pdf. There are currently broken links in the Spring Boot Reference that assume these names.