diff --git a/Jenkinsfile b/Jenkinsfile
index 9816dc69..4c293246 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,7 +29,7 @@ pipeline {
 
   environment {
     REPO = 'lib_device_control'
-    XMOSDOC_VERSION = 'v6.1.2'
+    XMOSDOC_VERSION = 'v6.1.3'
   } // environment
 
   parameters {