From a48e420ad195926afc0552c05592630c657894fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Tue, 2 Jan 2018 15:12:09 +0100 Subject: [PATCH] build: ship themes.json --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index c1bed7e..088d0cc 100644 --- a/Makefile +++ b/Makefile @@ -23,6 +23,7 @@ install: mkdir -p $(DESTDIR)$(prefix)/share/wcs/themes/vincennes-2014 mkdir -p $(DESTDIR)$(prefix)/sbin/ cp update-vincennes-content.py $(DESTDIR)$(prefix)/sbin/ + cp themes.json $(DESTDIR)$(prefix)/share/publik/themes/vincennes-2014 cp -r idp/* $(DESTDIR)$(prefix)/share/authentic2/vincennes cp -r static templates $(DESTDIR)$(prefix)/share/publik/themes/vincennes-2014 cp -r desc.xml wcs.css dataview.js $(DESTDIR)$(prefix)/share/wcs/themes/vincennes-2014