diff --git a/gitlab-build.sh b/gitlab-build.sh
index 5eb35d6af1ab49ca729b1e3db5c1b45c77413797..722d38a0de5f70ffc5a6dcb98db4319575ccd705 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -57,6 +57,9 @@ HERE
 	make html BUILDDIR=public/$VER_DIR
 	mv public/$VER_DIR/html/* public/$VER_DIR/
 
+	echo "**** exit for now for faster debug ****"
+	exit 0
+
 	echo "**** make latexpdf ****"
 	# Build, optimize, and serve PDF
 	make latexpdf BUILDDIR=public/$VER_DIR
diff --git a/index.rst b/index.rst
index 0c082f94535cde0de4cbd63aad96e1d6820cd8f9..160e2fd8cca87d3b9cc86bcca99ab54e115c6a88 100644
--- a/index.rst
+++ b/index.rst
@@ -385,7 +385,7 @@ developers. Some developers choose to host documentation for their :ref:`project
 
    /projects/simppru/index
    /projects/bb-config/index
-   /projects/librobotcontrol/xml/index
+   /projects/librobotcontrol/docs/xml/index
    /boards/beagleconnect/index
 
 Books