Buck: Update the location of generated HTML files
Change-Id: I45b76aad3d0248062db2f680b58bb52429010f16
diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt
index a41a821..316cce7 100644
--- a/Documentation/dev-buck.txt
+++ b/Documentation/dev-buck.txt
@@ -197,11 +197,14 @@
The generated html files will be placed in:
----
- buck-out/gen/Documentation
+ buck-out/gen/Documentation/html__tmp/Documentation
----
-The html files will also be bundled into `html.zip` in the same location.
+The html files will also be bundled into `html.zip` in this location:
+----
+ buck-out/gen/Documentation/html.zip
+----
[[release]]
Gerrit Release WAR File