From e4f8f0483f418da953724ddcbc3d67cfe6373ea9 Mon Sep 17 00:00:00 2001
From: Markus Heiser <markus.heiser@darmarit.de>
Date: Tue, 14 Jan 2025 15:08:05 +0100
Subject: [mod] slightly improve `make node.clean themes.all`

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
---
 manage | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'manage')

diff --git a/manage b/manage
index d19458c72..714f31512 100755
--- a/manage
+++ b/manage
@@ -94,8 +94,6 @@ pyenv.:
   OK        : test if virtualenv is OK
 format.:
   python    : format Python code source using black
-pygments.:
-  less      : build LESS files for pygments
 EOF
     go.help
     node.help
@@ -253,15 +251,6 @@ gecko.driver() {
     dump_return $?
 }
 
-pygments.less() {
-    build_msg PYGMENTS "searxng_extra/update/update_pygments.py"
-    if ! pyenv.cmd python searxng_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 "python package ${PYDIST}"
     pyenv.cmd python setup.py \
-- 
cgit v1.2.3