diff --git a/buildconfig/Jenkins/dev_site.sh b/buildconfig/Jenkins/dev_site.sh
index 1c5c3e0302b5430ed04328f85eebd40b6cf2acb0..ea072f8d8a910819988270ecbdb2b2b6e43dba38 100755
--- a/buildconfig/Jenkins/dev_site.sh
+++ b/buildconfig/Jenkins/dev_site.sh
@@ -30,6 +30,7 @@ if [[ ! -d $VIRTUAL_ENV ]]; then
     virtualenv --system-site-packages "$VIRTUAL_ENV"
     source $VIRTUAL_ENV/bin/activate
     pip install sphinx
+    pip install sphinx_bootstrap_theme
 else
     source $VIRTUAL_ENV/bin/activate
 fi