Buck: Add 'withdocs' as an alias for '//:withdocs'

Also expand the documentation in dev-buck to include this
build target.

Change-Id: I564734ca291b081db6a030978b631ae732b19bc8

.buckconfig

@@ -5,6 +5,7 @@
   docs = //Documentation:html
   gerrit = //:gerrit
   release = //:release
+  withdocs = //:withdocs
 
 [buildfile]
   includes = //tools/default.defs

Documentation/dev-buck.txt

@@ -211,7 +211,7 @@ next time project.py is run:
 Documentation
 ~~~~~~~~~~~~~
 
-To build the documentation:
+To build only the documentation:
 
 ----
   buck build docs
@@ -229,6 +229,18 @@ The html files will also be bundled into `html.zip` in this location:
   buck-out/gen/Documentation/html.zip
 ----
 
+To build the executable WAR with the documentation included:
+
+----
+  buck build withdocs
+----
+
+The WAR file will be placed in:
+
+----
+  buck-out/gen/withdocs.war
+----
+
 [[release]]
 Gerrit Release WAR File
 ~~~~~~~~~~~~~~~~~~~~~~~

Documentation/rest-api-documentation.txt

@@ -7,9 +7,9 @@ link:rest-api.html[REST API].
 
 Please note that this feature is only usable with documentation built-in.
 You'll need to
-`buck build :withdocs`
+`buck build withdocs`
 or
-`buck build :release`
+`buck build release`
 to test this feature.
 
 [[documentation-endpoints]]