From f3246f9afbcd94a472d12a56bdc73754fce065b0 Mon Sep 17 00:00:00 2001 From: "Travis CI (pmd-bot)" Date: Mon, 9 Jul 2018 20:37:21 +0000 Subject: [PATCH] Update documentation TRAVIS_JOB_NUMBER=2577.2 TRAVIS_COMMIT_RANGE=4ca905b4a063...e32935a6dc02 --- feed.xml | 4 ++-- pmd_release_notes.html | 3 +++ pmd_userdocs_installation.html | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/feed.xml b/feed.xml index ab73240f41..87771bec6d 100644 --- a/feed.xml +++ b/feed.xml @@ -5,8 +5,8 @@ Intended as a documentation theme based on Jekyll for technical writers documenting software and other technical products, this theme has all the elements you would need to handle multiple products with both multi-level sidebar navigation, tags, and other documentation features. https://pmd.github.io/pmd/ - Mon, 09 Jul 2018 04:28:50 +0000 - Mon, 09 Jul 2018 04:28:50 +0000 + Mon, 09 Jul 2018 20:37:07 +0000 + Mon, 09 Jul 2018 20:37:07 +0000 Jekyll v3.7.3 diff --git a/pmd_release_notes.html b/pmd_release_notes.html index e17911bb08..5308e1468b 100644 --- a/pmd_release_notes.html +++ b/pmd_release_notes.html @@ -1290,6 +1290,9 @@ $('#toc').toc({ minimumHeaders: 0, listType: 'ul', showSpeed: 0, headers: 'h2,h3

External Contributions

+
diff --git a/pmd_userdocs_installation.html b/pmd_userdocs_installation.html index a66c2c3b4f..8b2f754273 100644 --- a/pmd_userdocs_installation.html +++ b/pmd_userdocs_installation.html @@ -1298,7 +1298,7 @@ modifiers on Java sources with -R category/java/ but you’re strongly encouraged to create your own ruleset from the start.
-

Additionnally, the following options, are specified most of the time even though they’re not required:

+

Additionally, the following options, are specified most of the time even though they’re not required:

  • -f <format>: report format. PMD supports many report formats out of the box. You may want to start with the basic text format (default) or xml format. The supported formats are documented here.