diff options
| author | David Ostrovsky <david@ostrovsky.org> | 2020-07-21 22:26:02 +0200 |
|---|---|---|
| committer | David Ostrovsky <david@ostrovsky.org> | 2020-07-21 22:30:06 +0200 |
| commit | 8d25937a035cf76252cbb5e316e0bd407a78d006 (patch) | |
| tree | 502079b070587be8ab325c0f90653bd6720212ff | |
| parent | 339a30743689446814ce52acf14c1c09530814df (diff) | |
dev-release: Install release artifact to local Maven repository
The documentation only mentions to install plugin API to local Maven
repository. Yet the release note generation script was complaining that
release.war was not found in local Maven repository.
Change-Id: I096fe13b93fb49c8f9be625c4b55864acec97782
| -rw-r--r-- | Documentation/dev-release.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt index ca33ef8d4b..6f725464dc 100644 --- a/Documentation/dev-release.txt +++ b/Documentation/dev-release.txt @@ -108,6 +108,7 @@ Tag the plugins: + ---- bazel build release Documentation:searchfree + ./tools/maven/api.sh war_install ./tools/maven/api.sh install ---- |