Use searchfree version of docs for releases
Searchbox only works when the docs come with gerrit server, so for
releases we should use the searchfree version instead.
Change-Id: I485c6b880c39b44a833bd30822a01b30475a4e4e
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 6549f0a..fc1ad10 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -154,11 +154,11 @@
[[build-gerrit]]
=== Build Gerrit
-* Build the Gerrit WAR and API JARs
+* Build the Gerrit WAR, API JARs and documentation
+
----
buck clean
- buck build --no-cache release
+ buck build --no-cache release docs
buck build api_install
----
@@ -338,8 +338,8 @@
make -C ReleaseNotes
----
-* Extract the documentation files from the zip file generated during
-the release build: `buck-out/gen/Documentation/html/html.zip`.
+* Extract the documentation files from the zip file generated from
+`buck build docs`: `buck-out/gen/Documentation/searchfree/searchfree.zip`.
* Upload the files manually via web browser to the appropriate folder
in the
