diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5fa52261..de1d9f88 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -77,6 +77,11 @@ case "$JOB_TYPE" in
 		contrib/*.py
 	;;
 "docs")
+	virtualenv -p python3 venv --system-site-packages
+	. venv/bin/activate
+
+	pip install -r requirements.txt
+
 	rm -rf docs/_build
 	make -C "docs" html latexpdf