diff --git a/docs/index.json b/docs/index.json
index e9a083362b618babfb5e73d30eefdef32714ae39..2f99caee050e4c621f0346027047badbf956fb94 100644
--- a/docs/index.json
+++ b/docs/index.json
@@ -1,5 +1,5 @@
 {
-    "version": "1.3.0.3",
+    "version": "1.3.1.0",
     "chapters":
     {
         "contribution":