diff --git a/docs/_config.yml b/docs/_config.yml index df0d455412..85fe2e40df 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -3,9 +3,11 @@ repository: pmd/pmd pmd: version: 6.14.0 previous_version: 6.13.0 - date: ??-April-2019 + date: 28-April-2019 release_type: minor +# release types: major, minor, bugfix + output: web # this property is useful for conditional filtering of content that is separate from the PDF. diff --git a/docs/pages/next_major_development.md b/docs/pages/next_major_development.md index 427b588b93..2586d1d946 100644 --- a/docs/pages/next_major_development.md +++ b/docs/pages/next_major_development.md @@ -73,6 +73,10 @@ the breaking API changes will be performed in 7.0.0. an API is tagged as `@Deprecated` or not in the latest minor release. During the development of 7.0.0, we may decide to remove some APIs that were not tagged as deprecated, though we'll try to avoid it." %} +#### 6.14.0 + +No changes. + #### 6.13.0 ##### Command Line Interface