From d66c20342fb5272600ae9432fc1cc013bc88f630 Mon Sep 17 00:00:00 2001 From: Robert Haimerl Date: Thu, 18 Apr 2024 09:26:00 +0200 Subject: [PATCH] Add the new doc pages to the site index (#852) --- docs/Plugins/PMD.md | 3 ++- mkdocs.yml | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/Plugins/PMD.md b/docs/Plugins/PMD.md index 503485add..7e16ca639 100644 --- a/docs/Plugins/PMD.md +++ b/docs/Plugins/PMD.md @@ -17,6 +17,7 @@ PMD is a source code analyzer that searches for common programming flaws. It supports many different languages and can be extended by different sets of rules. In its current implementation the plugin uses the following sets of rules: + - all-java.xml ([link](https://github.com/pmd/pmd/blob/83522e96ef512f2b9a41586ae239509ec6f8313f/pmd-core/src/main/resources/rulesets/internal/all-java.xml)) !!! note @@ -26,4 +27,4 @@ In its current implementation the plugin uses the following sets of rules: !!! question "How does PMD use the context?" - PMD does not rely on addition context, this option is therefore ignored. \ No newline at end of file + PMD does not rely on additional context, this option is therefore ignored. \ No newline at end of file diff --git a/mkdocs.yml b/mkdocs.yml index e4e814604..86e87fcab 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -162,6 +162,10 @@ nav: - 'What is Coko?': Coko/index.md - 'Modelling APIs with Coko': Coko/modelling.md - 'Coko Rules': Coko/rules.md + - 'Use Analysis Plugins': + - 'Overview': Plugins/index.md + - 'PMD Plugin': Plugins/PMD.md + - 'FindSecBugs Plugin': Plugins/FindSecBugs.md - 'Contributing': - 'Contributing to Codyze': contributors/index.md - 'Building the project': contributors/code.md