Fixing broken documentation links

Change-Id: Ib0c1e071e6bd97e356f4a2ccce66de5abc393d45
diff --git a/VERSION b/VERSION
index 90a7f60..a5227f6 100755
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.3.12
+1.3.13-dev