diff options
author | Andrew Dolgov <[email protected]> | 2021-11-15 08:27:49 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-11-15 08:27:49 +0300 |
commit | 26f47c0694eb78b2646cb30f295535053168cd61 (patch) | |
tree | d103347b7cd00aa43cbec6c93883c4e4ae186f01 /themes | |
parent | aa924d9ee7674cfe649d498ce3cbcdb093bca956 (diff) |
remove themes/Makefile (obsolete, replaced with gulp)
Diffstat (limited to 'themes')
-rw-r--r-- | themes/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
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 |