From 4eaf7ed8c635bc39cbefbff45a1a218dcc112537 Mon Sep 17 00:00:00 2001
From: Pete Peterson <petersonpf@ornl.gov>
Date: Wed, 18 Jul 2018 13:30:59 -0400
Subject: [PATCH] Add sphinx-bootstrap-theme
---
buildconfig/Jenkins/dev_site.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/buildconfig/Jenkins/dev_site.sh b/buildconfig/Jenkins/dev_site.sh
index 1c5c3e0302b..ea072f8d8a9 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
--
GitLab