diff --git a/README.md b/README.md index f06073a361624b6f350c3dd44bdb024fd1488661..2be0c47822a85960943cbed66e729e97a9ab570a 100644 --- a/README.md +++ b/README.md @@ -41,6 +41,9 @@ $ ./gradlew prepareMaven $ mvn -f de.prob.parent/pom.xml install ``` +Adding the -U flag to force re-loading dependencies does not (seem to) work. +Run ```./gradlew prepareMaven``` before running the mvn command to update. + This will build the plugin into a local Eclipse plugin repository. To test your build of the plugin, you need to configure this repository in Rodin: