build: distribute get_themes.py (#24188)

2018-05-30 19:11:49 +02:00 · 2018-05-30 19:11:49 +02:00 · a09f0a81ed
parent 066e00ebed
commit a09f0a81ed
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -52,6 +52,7 @@ clean:
 DIST_FILES = \
 	Makefile \
 	desc.xml \
+	get_themes.py \
 	make_data_uris.py \
 	static templates themes.json \
 	src