From 6ea6070de4ab0635767c55138376b9ef5ecb83ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Mon, 1 Oct 2018 14:35:41 +0200 Subject: [PATCH 1/2] build: don't distribute themes.json anymore (#26857) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 31002ecc..d80e47a6 100644 --- a/Makefile +++ b/Makefile @@ -58,7 +58,7 @@ DIST_FILES = \ desc.xml \ create_themes_json.py \ make_data_uris.py \ - static templates themes.json \ + static templates \ src dist: clean -- 2.19.0