Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add JavaDoc plugin #135

Merged
merged 3 commits into from
Dec 3, 2024
+23 −4
Merged

Add JavaDoc plugin #135

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
566040e
Add JavaDoc plugin
smeyer198 Dec 3, 2024
7bb1d7b
Diable JavaDoc warnings
smeyer198 Dec 3, 2024
1894ac9
Disable JavaDoc errors
smeyer198 Dec 3, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 23 additions & 4 deletions pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,8 +63,8 @@
<pluginManagement>
<plugins>
<!-- xtend-maven-plugin is in pluginManagement instead of in plugins
so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way
we can list it after. -->
so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way
we can list it after. -->
<plugin>
<groupId>org.eclipse.xtend</groupId>
<artifactId>xtend-maven-plugin</artifactId>
Expand Down Expand Up @@ -387,13 +387,32 @@
</execution>
</executions>
</plugin>
<plugin>
<!-- This plugin is required for releases to Maven Central. If Javadoc is used, it has to be correct. -->
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<version>3.11.1</version>
<configuration>
<additionalOptions>
<additionalOption>-Xdoclint:none</additionalOption>
</additionalOptions>
</configuration>
<executions>
<execution>
<id>attach-javadoc</id>
<goals>
<goal>jar</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>

<profiles>
<!-- This profile is used to avoid running the deployment in non-deployment
contexts because they require specific keys from the Github remote. Include
this profile by setting the -Pdeployment flag. -->
contexts because they require specific keys from the Github remote. Include
this profile by setting the -Pdeployment flag. -->
<profile>
<id>deployment</id>
<build>
Expand Down
Loading