dev-release: Update steps to upload documentation
Rather than explicitly building the documentation again, use the
output from the release build.
Change-Id: Ieb74e164d104cf309147247fa56d9f3f73fc3c15
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index c08b955..2a6cb1c 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -345,16 +345,11 @@
make -C ReleaseNotes
----
-* Build the documentation:
-+
-----
- buck build docs
-----
+* Extract the documentation files from the zip file generated during
+the release build: `buck-out/gen/Documentation/html/html.zip`.
-* Extract the documentation html files from the generated zip file
-`buck-out/gen/Documentation/searchfree.zip`.
-
-* Upload the html files manually via web browser to the
+* Upload the files manually via web browser to the appropriate folder
+in the
link:https://console.developers.google.com/project/164060093628/storage/gerrit-documentation/[
gerrit-documentation] storage bucket.
