Merge pull request #105 from eMoflon/feature/enable-maven-javadoc-dow…

…nload Maven: enables the JavaDoc download per default
eMoflon · Apr 3, 2024 · c13ba4f · c13ba4f
2 parents 52fb9f4 + 657188e
commit c13ba4f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/resources/emoflon_dev.properties b/resources/emoflon_dev.properties
@@ -9,3 +9,6 @@ org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git
 #
 # Disable console log output limitation
 org.eclipse.debug.ui/Console.limitConsoleOutput=false
+#
+# Allow Maven to download JavaDoc
+org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true
diff --git a/resources/emoflon_user.properties b/resources/emoflon_user.properties
@@ -12,3 +12,6 @@ org.eclipse.debug.ui/Console.limitConsoleOutput=false
 #
 # Set default perspective to eMoflon
 org.eclipse.ui/defaultPerspectiveId=org.moflon.ide.ui.MoflonPerspective
+#
+# Allow Maven to download JavaDoc
+org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true