Merge release 1.0.0 into stable branchHEADstable

See the tag 'v1.0.0' or the changelog for more information about this
release.

1 files changed, 14 insertions, 7 deletions

diff --git a/build.gradle b/build.gradle
index 8b90060..929f1c2 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,7 +1,7 @@
 plugins {
-    id "java"
-    id "application"
-    id "jacoco"
+	id "java"
+	id "application"
+	id "jacoco"
 }
 
 java {
@@ -11,13 +11,13 @@ java {
 mainClassName = "sevenUnitsGUI.Main"
 
 repositories {
-    mavenCentral()
+	mavenCentral()
 }
 
 dependencies {
-    testImplementation 'org.junit.jupiter:junit-jupiter-api:5.7.0'
-    testImplementation 'org.junit.jupiter:junit-jupiter-params:5.7.0'
-    testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.7.0'
+	testImplementation 'org.junit.jupiter:junit-jupiter-api:5.7.0'
+	testImplementation 'org.junit.jupiter:junit-jupiter-params:5.7.0'
+	testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.7.0'
 }
 
 jar {
@@ -42,5 +42,12 @@ jacocoTestReport {
 	dependsOn test
 }
 
+javadoc {
+	destinationDir = file("${buildDir}/docs/javadoc")
+	// https://gist.github.com/claudioaltamura/aba1f6506a53b9f5499fd507abd572df
+        (options as StandardJavadocDocletOptions)
+            .tags("apiNote:a:API Note:", "implSpec:a:Implementation Requirements:", "implNote:a:Implementation Note:")
+}
+
 run {
 }