diff --git a/conf.py b/conf.py
index e9c120dd39e0990b503f7f3a95f13308f01992d1..e3bd6daa983f45414bbe946e9aa2f4f4e1500586 100644
--- a/conf.py
+++ b/conf.py
@@ -33,8 +33,7 @@ extensions = [
     "sphinx.ext.imgconverter",
     "sphinx.ext.todo",
     "sphinx_tabs.tabs",
-    "breathe",
-    "exhale"
+    "breathe"
 ]
 
 breathe_projects = {"librobotcontrol": "projects/librobotcontrol/docs/xml"}
diff --git a/gitlab-build.sh b/gitlab-build.sh
index 1f313226c54034cf791739e4cb6427aeec0a3176..5eb35d6af1ab49ca729b1e3db5c1b45c77413797 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -49,6 +49,7 @@ HERE
 	if [ -e projects/librobotcontrol/docx ] ; then
 		cd projects/librobotcontrol/docs
 		doxygen
+		cd ../../..
 	fi
 
 	echo "**** make html ****"