diff options
author | Aurélien COUDERC <zecoucou@free.fr> | 2017-01-24 17:07:44 +0000 |
---|---|---|
committer | Aurélien COUDERC <zecoucou@free.fr> | 2017-01-24 17:07:44 +0000 |
commit | 5ffbdff268245f380cbdec94f2196387e51a6974 (patch) | |
tree | 0db5b79a2ad8d35876cc9572f8d7cc2bdb75e629 /Makefile | |
parent | d50a1c9fd5fb3409391319c4f4ae5119dd4e9acf (diff) |
Include more sizes of emblem-debian, add emblem-debian-white. (Closes: #833529)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -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 |