diff options
| author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2022-02-16 14:05:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-16 13:05:31 +0000 |
| commit | 4c458a4986b823de0cc9d16a6a296120047fc2cd (patch) | |
| tree | e676c65e8bbc75e5f65fc1f3138c4ede4cfecb92 /deploy | |
| parent | 481babee61e7aee7fcc55df0b6bfd7b7b7b062a5 (diff) | |
| download | jazzer-api-4c458a4986b823de0cc9d16a6a296120047fc2cd.tar.gz | |
Fix javadoc generation instructions (#314)
Diffstat (limited to 'deploy')
| -rw-r--r-- | deploy/BUILD.bazel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/deploy/BUILD.bazel b/deploy/BUILD.bazel index 29f9a5a1..7cceeae5 100644 --- a/deploy/BUILD.bazel +++ b/deploy/BUILD.bazel @@ -2,8 +2,8 @@ load("@rules_jvm_external//:defs.bzl", "java_export") load("//:maven.bzl", "JAZZER_API_COORDINATES") # To publish a new release of the Jazzer API to Maven, run: -# bazel run --config=maven --define "maven_user=..." --define "maven_password=..." --define gpg_sign=true //:api.publish -# Build //:api-docs.jar to generate javadocs for the API. +# bazel run --config=maven --define "maven_user=..." --define "maven_password=..." --define gpg_sign=true //deploy:api.publish +# Build //deploy:api-docs to generate javadocs for the API. java_export( name = "api", maven_coordinates = JAZZER_API_COORDINATES, |