Document that buck build api_deploy depends on Maven configuration

Also fix a couple of minor formatting nits in the API build
section.

Change-Id: Ie3e022f4dbd63cbe1c42d686302867b61ccf3094

Documentation/dev-buck.txt

diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt
index 335948f..7b4981a 100644
--- a/Documentation/dev-buck.txt
+++ b/Documentation/dev-buck.txt
@@ -130,7 +130,7 @@
 ----
 
 Java binaries, Java sources and Java docs are generated into corresponding
-project directories in buck-out/gen, here as example for plugin API:
+project directories in `buck-out/gen`, here as example for plugin API:
 
 ----
   buck-out/gen/gerrit-plugin-api/plugin-api.jar
@@ -144,7 +144,7 @@
   buck build api_install
 ----
 
-Deploy {extension,plugin,gwt}-api to the remote maven repository
+Deploy {extension,plugin,gwt}-api to the remote maven repository:
 
 ----
   buck build api_deploy
@@ -154,6 +154,11 @@
 * 2.9-SNAPSHOT: snapshot repo
 * 2.9: release repo
 
+Deploying to the remote repository still depends on Maven, and the credentials
+for the repository need to be
+link:dev-release-deploy-config.html#deploy-configuration-settings-xml[
+configured in Maven's settings.xml file].
+
 Plugins
 ~~~~~~~