summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2021-06-22 19:59:01 +0000
committerGitHub <noreply@github.com>2021-06-22 19:59:01 +0000
commit98d1661f723289504cf814bca23a34c04b94c789 (patch)
tree7b77ef0f5010cbf7db7f1c373c5cd0ad280bedb1 /Makefile
parent5081cd4ed7428c32f609cd24f73a8df94ec78abc (diff)
parent5742267e3514f6ee77d5814fe1ba4cf654b237de (diff)
Merge pull request #171 from searxng/build_static_cleanup
Build static cleanup
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 173db8186..cd541a9a7 100644
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ MANAGE += py.build py.clean
MANAGE += pyenv pyenv.install pyenv.uninstall
MANAGE += pypi.upload pypi.upload.test
MANAGE += test.yamllint test.pylint test.pep8 test.unit test.coverage test.robot test.clean
-MANAGE += themes.all themes.oscar themes.simple themes.bootstrap pygments.less
+MANAGE += themes.all themes.oscar themes.simple pygments.less
PHONY += $(MANAGE)