diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index e716ea0d220d5463dc3cd2398a5bf68c35f9632f..2674bb880f5cbf6daf4f02a99e3ddcc00bfa1a5e 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -389,9 +389,9 @@ export_env BOB_PREFIX_PATH
 
 # Setup default documentation server
 if [ -z "${CI_COMMIT_TAG}" ]; then
- DEFSRV="${DOCSERVER}/software/bob/docs/bob/%s/master/"
+  DEFSRV="${DOCSERVER}/software/bob/docs/bob/%s/master/"
 else
-  DEFSRV="http://pythonhosted.org/%s/"
+  DEFSRV="${DOCSERVER}/software/bob/docs/bob/%s/stable/|http://pythonhosted.org/%s/"
 fi
 if [ -z "${BOB_DOCUMENTATION_SERVER}" ]; then
   BOB_DOCUMENTATION_SERVER="${DEFSRV}"