summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-06-22 10:36:19 +0200
committerGitHub <noreply@github.com>2021-06-22 10:36:19 +0200
commit2530576f244aef669d4261144a8dd4b47fd8c6b5 (patch)
tree641ce08e889f8f85e99781f09ea73c01718968a0 /Makefile
parentfb2f4ba902200c2a9d3ce3358adbfa1e51ae9039 (diff)
parentc1f72b71ba1dbe51d16fcd39edb71c2ae1ddbdc6 (diff)
Merge pull request #157 from searxng/mod_static_build
static build: move generated files to searx/static/themes/*/src/generated
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b907e3228..173db8186 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
+MANAGE += themes.all themes.oscar themes.simple themes.bootstrap pygments.less
PHONY += $(MANAGE)