diff --git a/docs/_config.yml b/docs/_config.yml index 67e10eb08d..2064c7c9d4 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -2,6 +2,7 @@ repository: pmd/pmd pmd: version: 6.0.0 + date: to-be-defined output: web # this property is useful for conditional filtering of content that is separate from the PDF. diff --git a/docs/_data/sidebars/pmd_sidebar.yml b/docs/_data/sidebars/pmd_sidebar.yml index d9931c56af..775cabc9d9 100644 --- a/docs/_data/sidebars/pmd_sidebar.yml +++ b/docs/_data/sidebars/pmd_sidebar.yml @@ -120,6 +120,9 @@ entries: - title: Developer Documentation output: web, pdf folderitems: + - title: Developer Resources + url: /pmd_devdocs_development.html + output: web, pdf - title: Code Style url: /pmd_devdocs_codestyle.html output: web, pdf diff --git a/docs/_includes/sidebar.html b/docs/_includes/sidebar.html index 30adf87229..51bfa69a32 100644 --- a/docs/_includes/sidebar.html +++ b/docs/_includes/sidebar.html @@ -6,7 +6,11 @@ {% for folder in entry.folders %} {% if folder.output contains "web" %}
  • + {% if folder.url %} + {{ folder.title }} + {% else %} {{ folder.title }} + {% endif %}