Fix database monitoring documentation
Link to the build.md page for instructions about how to build the plugin
to avoid having duplicated information on build.md and database-
monitoring.md. This change is preparation work for adding standalone
build.
Change-Id: I5ac13115bb05e2f257783a2bbe78ef68a2b2ba77
diff --git a/src/main/resources/Documentation/database-monitoring.md b/src/main/resources/Documentation/database-monitoring.md
index 01827c6..94a67ef 100644
--- a/src/main/resources/Documentation/database-monitoring.md
+++ b/src/main/resources/Documentation/database-monitoring.md
@@ -21,17 +21,7 @@
dataSourceInterceptorClass = com.googlesource.gerrit.plugins.javamelody.MonitoringDataSourceInterceptor
```
-Compile the plugin:
-
-```
-bazel build plugins/javamelody:javamelody
-```
-
-Compile the plugin dependencies:
-
-```
-bazel build plugins/javamelody:javamelody-deps_deploy.jar
-```
+Compile the plugin according to the instructions in the [build](build.md) page.
Deploy the plugin dependencies with datasource-interceptor to `$gerrit_site/lib`:
