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
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
~~~~~~~
