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