summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAurélien COUDERC <zecoucou@free.fr>2017-01-24 17:07:44 +0000
committerAurélien COUDERC <zecoucou@free.fr>2017-01-24 17:07:44 +0000
commit5ffbdff268245f380cbdec94f2196387e51a6974 (patch)
tree0db5b79a2ad8d35876cc9572f8d7cc2bdb75e629 /Makefile
parentd50a1c9fd5fb3409391319c4f4ae5119dd4e9acf (diff)
Include more sizes of emblem-debian, add emblem-debian-white. (Closes: #833529)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 7 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index e0afab0..4c3742e 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ DEFAULT_BACKGROUND=desktop-background
PIXMAPS=$(wildcard pixmaps/*.png)
DESKTOPFILES=$(wildcard *.desktop)
-all: build-grub
+all: build-grub build-emblems
build-grub clean-grub install-grub:
@target=`echo $@ | sed s/-grub//`; \
@@ -14,9 +14,13 @@ build-grub clean-grub install-grub:
fi \
done$
-clean: clean-grub
+build-emblems clean-emblems install-emblems:
+ @target=`echo $@ | sed s/-emblems//`; \
+ $(MAKE) $$target -C emblems-debian || exit 1;
-install: install-grub install-local
+clean: clean-grub clean-emblems
+
+install: install-grub install-emblems install-local
install-local:
# background files