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: