diff --git a/docs/5.10.2/user-guide/index.html b/docs/5.10.2/user-guide/index.html index ffaf8e9db31..6190f9b3c68 100644 --- a/docs/5.10.2/user-guide/index.html +++ b/docs/5.10.2/user-guide/index.html @@ -6897,11 +6897,10 @@

4.1.

4.1.1. IntelliJ IDEA

IntelliJ IDEA supports running tests on the JUnit Platform since version 2016.2. For more -information, please consult the official -IntelliJ IDEA documentation. Note, however, that it is -recommended to use IDEA 2017.3 or newer since more recent versions of IDEA download the -following JARs automatically based on the API version used in the project: -junit-platform-launcher, junit-jupiter-engine, and junit-vintage-engine.

+information, please consult this IntelliJ IDEA resource. Note, +however, that it is recommended to use IDEA 2017.3 or newer since more recent versions of +IDEA download the following JARs automatically based on the API version used in the +project: junit-platform-launcher, junit-jupiter-engine, and junit-vintage-engine.

diff --git a/docs/5.10.2/user-guide/junit-user-guide-5.10.2.pdf b/docs/5.10.2/user-guide/junit-user-guide-5.10.2.pdf index 773d5d5da5d..e75a3089108 100644 Binary files a/docs/5.10.2/user-guide/junit-user-guide-5.10.2.pdf and b/docs/5.10.2/user-guide/junit-user-guide-5.10.2.pdf differ diff --git a/docs/current/user-guide/index.html b/docs/current/user-guide/index.html index ffaf8e9db31..6190f9b3c68 100644 --- a/docs/current/user-guide/index.html +++ b/docs/current/user-guide/index.html @@ -6897,11 +6897,10 @@

4.1.

4.1.1. IntelliJ IDEA

IntelliJ IDEA supports running tests on the JUnit Platform since version 2016.2. For more -information, please consult the official -IntelliJ IDEA documentation. Note, however, that it is -recommended to use IDEA 2017.3 or newer since more recent versions of IDEA download the -following JARs automatically based on the API version used in the project: -junit-platform-launcher, junit-jupiter-engine, and junit-vintage-engine.

+information, please consult this IntelliJ IDEA resource. Note, +however, that it is recommended to use IDEA 2017.3 or newer since more recent versions of +IDEA download the following JARs automatically based on the API version used in the +project: junit-platform-launcher, junit-jupiter-engine, and junit-vintage-engine.

diff --git a/docs/current/user-guide/junit-user-guide-5.10.2.pdf b/docs/current/user-guide/junit-user-guide-5.10.2.pdf index 773d5d5da5d..e75a3089108 100644 Binary files a/docs/current/user-guide/junit-user-guide-5.10.2.pdf and b/docs/current/user-guide/junit-user-guide-5.10.2.pdf differ