From b09d6f3f955222e3e6cacb5da113232f4eaa645d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Wed, 30 May 2018 19:11:49 +0200
Subject: [PATCH] build: distribute get_themes.py (#24188)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index e97d821..05a2676 100644
--- a/Makefile
+++ b/Makefile
@@ -52,6 +52,7 @@ clean:
 DIST_FILES = \
 	Makefile \
 	desc.xml \
+	get_themes.py \
 	make_data_uris.py \
 	static templates themes.json \
 	src
-- 
2.17.0