Allow sphinx to find new documentation servers on build

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}"