1 files changed, 11 insertions, 0 deletions
diff --git a/manage b/manage
index 167895158..9209f1d7a 100755
--- a/manage
+++ b/manage
@@ -325,6 +325,16 @@ node.clean() {
     dump_return $?
 }
 
+pygments.less() {
+    [ "$_pyenv_OK" == "OK" ] && return 0
+    build_msg PYGMENTS "searx_extra/update/update_pygments.py"
+    if ! pyenv.cmd python searx_extra/update/update_pygments.py; then
+        build_msg PYGMENTS "building LESS files for pygments failed"
+        return 1
+    fi
+    return 0
+}
+
 py.build() {
     build_msg BUILD "[pylint] python package ${PYDIST}"
     pyenv.cmd python setup.py \
@@ -462,6 +472,7 @@ test.clean() {
 
 themes.all() {
     (   set -e
+        pygments.less
         node.env
         themes.oscar
         themes.simple