diff --git a/contrib/jenkins-build-osmo-hlr.sh b/contrib/jenkins-build-osmo-hlr.sh
index 8207451..67e135f 100755
--- a/contrib/jenkins-build-osmo-hlr.sh
+++ b/contrib/jenkins-build-osmo-hlr.sh
@@ -4,7 +4,7 @@
 name="osmo-hlr"
 . "$(dirname "$0")/jenkins-build-common.sh"
 
-build_repo libosmocore
+build_repo libosmocore --disable-doxygen
 build_repo libosmo-abis
 build_repo osmo-hlr