contrib: Disable doxygen doc generation
The --disable-doxygen was recently added to libosmocore and
libosmo-netif. No need to manually remove documentation anymore.
Change-Id: I3ca3dd1c115fc6784e4dc26a5ff5bf35d65b4e22
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