diff --git a/ci/create-revisions-file.sh b/ci/create-revisions-file.sh
index b86384a37..f881e7365 100755
--- a/ci/create-revisions-file.sh
+++ b/ci/create-revisions-file.sh
@@ -42,8 +42,13 @@ else
   _TMP="$BRANCH_NAME"
 fi
 if [ "$(expr "$_TMP" : ".*.x")" = 0 ]; then
-  _DOCS_BRANCH="$_TMP"
-  _BRANCH="$_TMP".x
+  if [ "$_TMP" = "master" ]; then
+    _DOCS_BRANCH=master
+    _BRANCH=master
+  else
+    _DOCS_BRANCH="$_TMP"
+    _BRANCH="$_TMP".x
+  fi
 else
   _DOCS_BRANCH=${_TMP%.x} # % removes suffix of .x from _TMP
   _BRANCH="$_TMP"