commit 2213b43c98378cd646df44751e6e0b30db649935
author Yuxuan 'fishy' Wang <fishywang@google.com> Mon Aug 22 19:30:32 2016 -0700
committer Yuxuan 'fishy' Wang <fishywang@google.com> Mon Aug 22 19:30:32 2016 -0700
tree 7c292aa94ebc5b420a511a3b6594ff9dc1f52b25
parent 460fd36700ccd971015d975391e4157271c278d0

Change docs links to actual file extension (.md)

See https://gerrit-review.googlesource.com/83950 for detailed context.

Change-Id: Ia87ff5d6469c9447af76d82a4086df84b4940ca5

src/main/resources/Documentation/build.md

diff --git a/src/main/resources/Documentation/build.md b/src/main/resources/Documentation/build.md
index 8ca14bd..1202dfd 100644
--- a/src/main/resources/Documentation/build.md
+++ b/src/main/resources/Documentation/build.md
@@ -46,7 +46,7 @@
   buck-out/gen/javamelody.jar
 ```
 
-If [database interception](database-monitoring.html) should be activated,
+If [database interception](database-monitoring.md) should be activated,
 then the following artifacts must be used instead:
 
 ```
@@ -65,7 +65,7 @@
   buck build plugins/javamelody:javamelody
 ```
 
-If [database interception](database-monitoring.html) should be activated,
+If [database interception](database-monitoring.md) should be activated,
 then the following targets must be used instead:
 
 ```