From 26f47c0694eb78b2646cb30f295535053168cd61 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Mon, 15 Nov 2021 08:27:49 +0300 Subject: [PATCH] remove themes/Makefile (obsolete, replaced with gulp) --- themes/Makefile | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 themes/Makefile diff --git a/themes/Makefile b/themes/Makefile deleted file mode 100644 index b9298207c..000000000 --- a/themes/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -.PHONY: clean - -ALL: compact.css compact_night.css light.css night_blue.css night.css - -%.css: %.less light/*.less - lessc --source-map=$(patsubst %.less,%.css.map,${<}) ${<} ${@} - -clean: - rm -f *.css *.css.map